AI vừa giải được bài toán Navier-Stokes trị giá 1 triệu đô la? Điều mà bằng chứng của OpenAI thực sự có nghĩa là gì
Vào ngày 8 tháng 9 năm 2026, phòng thí nghiệm trí tuệ nhân tạo OpenAI đã gây chấn động giới khoa học khi công bố rằng một hệ thống AI đa tác nhân nội bộ đã tạo ra một chứng minh 166 trang được xác minh bằng Lean, giải quyết bài toán tồn tại và tính trơn tru của Navier-Stokes 3D—một thách thức đã tồn tại suốt một thế kỷ và được xếp vào một trong bảy bài toán Millennium Prize trị giá 1 triệu đô la Mỹ do Viện Toán học Clay thiết lập.
Thông báo này đã gây ra tranh cãi ngay lập tức, thúc đẩy những cuộc tranh luận sôi nổi về quyền riêng tư dữ liệu, ưu tiên học thuật và vai trò thực sự của trí tuệ máy trong nghiên cứu cơ bản.
-
Thành tựu chính: OpenAI đã tạo ra một chứng minh chính thức dài 166 trang bằng cách sử dụng 10.000 đàn tác nhân đa chiều trong 88 giờ, cho thấy sự bùng nổ trong thời gian hữu hạn (điểm kỳ dị) trong các phương trình chất lỏng không nén được 3D dưới tác động ngoại lực liên tục.
-
Xác minh: Chứng minh đã được xác minh về mặt toán học bằng trình định lý Lean trong hơn 17 giờ, loại bỏ các lỗi logic hoặc ảo giác của AI.
-
Trạng thái giải thưởng: Giải thưởng Millennium trị giá 1 triệu USD chưa được trao chính thức; Viện Toán học Clay (CMI) yêu cầu xuất bản bài báo đã được đánh giá ngang hàng và khoảng thời gian xác minh hai năm. OpenAI đã từ chối nhận tiền giải thưởng.
-
Tranh cãi đạo đức: Các nhà toán học Tristan Buckmaster và Levent Alpöge đã buộc tội OpenAI sử dụng các nhật ký trò chuyện riêng và bản nháp đã tải lên để hướng dẫn các tác nhân của mình, gây ra cuộc tranh luận toàn cầu về quyền riêng tư dữ liệu và ưu tiên học thuật.
-
Tính dễ đọc đối với con người: Mặc dù logic hình thức đã được xác minh, nhưng chứng minh do AI tạo ra hoạt động như một “hộp đen” thiếu các khái niệm toán học trực quan để giúp con người hiểu lý do xảy ra sự bùng nổ.
Đàn tác nhân AI đã chứng minh sự bùng nổ trong thời gian hữu hạn cho các phương trình chất lỏng không nén được 3D dưới tác động của lực bên ngoài trơn tru, cho thấy vận tốc chất lỏng có thể tăng lên vô hạn trong một khoảng thời gian giới hạn trong khi tổng năng lượng vật lý vẫn được giữ ở mức hữu hạn.
Các phương trình Navier-Stokes, được hình thành vào thế kỷ 19 bởi Claude-Louis Navier và George Gabriel Stokes, điều khiển cách chất lỏng và khí di chuyển. Trong nhiều thập kỷ, các nhà toán học đã đặt câu hỏi liệu các điều kiện ban đầu trơn tru và hợp lý về mặt vật lý có thể dẫn đến một "điểm kỳ dị" hoặc "bùng nổ"—một điểm mà tốc độ chất lỏng trở thành vô hạn—hay không.
OpenAI đã triển khai khoảng 10.000 tác nhân AI tự chủ chạy đồng thời trong 88 giờ. Các tác nhân này đã trao đổi hơn 2,7 triệu tin nhắn và tạo ra 130 tỷ token đầu ra để xây dựng mô hình toán học của một xoáy chất lỏng cuộn xoắn và kéo dãn. Để phòng ngừa các ảo giác AI tiềm ẩn, logic được tạo ra đã được chuyển đổi sang Lean, một công cụ chứng minh định lý tương tác tự động, xác minh từng bước lập luận trong khoảng 17 giờ.
Theo các thông số kỹ thuật được công bố bởi các nhóm nghiên cứu đánh giá kết quả, bằng chứng này đáp ứng các điều kiện cụ thể được nêu trong tuyên bố vấn đề chính thức của Charles Fefferman cho Viện Toán học Clay (cụ thể là các phương án C và D).
| Chỉ số / Tham số | Thông số chứng minh Multi-Agent của OpenAI |
| Thời gian thực hiện | 88 giờ trên các cụm tác nhân đa dạng |
| Quy mô đại lý | ~10.000 tác nhân AI tự trị đồng thời |
| Khối lượng tin nhắn | 2,7 triệu tin nhắn nội bộ; 130 tỷ token |
| Xác minh chính thức | 17 giờ thông qua Lean Interactive Theorem Prover |
| Kết quả chính | Thể hiện điểm kỳ dị trong thời gian hữu hạn dưới tác động ngoại lực trơn |
Giải thưởng Millennium trị giá 1 triệu đô la Mỹ chưa được trao chính thức vì Viện Toán học Clay yêu cầu quy trình đánh giá institutonal nghiêm ngặt kéo dài nhiều năm trước khi công nhận bất kỳ giải pháp nào.
Viện Toán học Clay (CMI) yêu cầu bất kỳ giải pháp nào được đề xuất phải được xuất bản trên một tạp chí toán học có uy tín quốc tế và được bình duyệt, sau đó là thời gian chờ công khai bắt buộc kéo dài hai năm. Trong khoảng thời gian này, cộng đồng khoa học rộng lớn phải xem xét kỹ lưỡng và chấp nhận bằng chứng. Đến nay, CMI vẫn tiếp tục liệt kê bài toán tồn tại và tính trơn tru của Navier-Stokes là chưa được giải quyết.
Hơn nữa, OpenAI đã công khai tuyên bố rằng họ không có ý định nhận giải thưởng 1 triệu đô la, cho biết mục tiêu chính của họ là chứng minh khả năng của lập luận đại diện quy mô lớn hơn là tìm kiếm phần thưởng tiền mặt. Vấn đề Giải thưởng Thiên niên kỷ duy nhất được công nhận chính thức là đã được giải quyết vẫn là Giả thuyết Poincaré, được nhà toán học Nga Grigori Perelman giải quyết vào năm 2003 (người cũng từ chối giải thưởng).
Bước đột phá này đã gây ra làn sóng phản đối mạnh mẽ do các cáo buộc rằng hệ thống của OpenAI dựa vào nghiên cứu do con người thực hiện và được các nhà toán học tải lên, những người này đã từ chối tham gia huấn luyện dữ liệu.
Khoảng 12 giờ trước thông báo của OpenAI, nhà toán học của NYU Tristan Buckmaster đã công bố một tuyên bố chi tiết về công việc của ông cùng Levent Alpöge, một nhà toán học thuộc Anthropic. Nhóm này đã dành hơn một năm phát triển các kỹ thuật mới để chứng minh sự bùng nổ trong các phương trình chất lỏng—cụ thể là phương trình Euler, một lớp mô hình động lực học chất lỏng có liên quan chặt chẽ.
| Chiều kích tranh cãi | Các yêu cầu chính và bằng chứng | Vị trí chính thức của OpenAI |
| Nguồn gốc dữ liệu | Các nhà nghiên cứu con người đã tải lên các bản nháp và hướng dẫn riêng tư lên ChatGPT/Codex trong khi khám phá các điểm kỳ dị lỏng. | Khẳng định không có nhân viên hoặc đại lý nào trực tiếp đọc bản nháp của người dùng hoặc vi phạm các biện pháp kiểm soát truy cập. |
| Tùy chọn Tắt "Không Đào Tạo" | Các nhà nghiên cứu đã chọn không tham gia đào tạo, nhưng các khái niệm được cho là đã rò rỉ vào các phiên bản nền. | Công nhận rằng "không thể loại trừ khả năng dữ liệu đã được ẩn danh, được lấy từ việc sử dụng sản phẩm, đã giúp cải thiện các mô hình." |
| Ưu tiên khoa học | OpenAI đã triển khai 10.000 tác nhân để tìm kiếm lực lượng một bằng chứng song song sau khi biết đến tiến bộ của con người. | Đặt thành tựu này như một chiến thắng độc lập của lập luận đa tác tử tự chủ. |
Buckmaster và Alpöge đã sử dụng các công cụ của OpenAI, bao gồm Codex và ChatGPT, để kiểm tra các giả thuyết trung gian cụ thể và viết các chương trình mã. Mặc dù OpenAI phủ nhận rằng nhân viên hoặc các tác nhân AI của họ đã truy cập trực tiếp vào các tệp tài khoản riêng tư, nhưng các phát ngôn viên của công ty đã thừa nhận trong các tuyên bố theo sau rằng họ không thể loại trừ khả năng dữ liệu đã được ẩn danh, được trích xuất từ các tương tác của người dùng, đã ảnh hưởng đến các bản cập nhật mô hình nền tảng.
Sự thừa nhận này đã gây ra làn sóng phản đối rộng khắp trong cộng đồng học thuật. Các nhân vật nổi bật, bao gồm cả nhà toán học được giải Fields Terence Tao, lưu ý rằng sự việc này làm nổi bật sự căng thẳng ngày càng gia tăng: các nhà nghiên cứu cá nhân đưa những ý tưởng tiên tiến nhất vào các nền tảng AI thương mại có thể vô tình cho phép các công ty công nghệ có nguồn lực tính toán khổng lồ nhanh chóng chính thức hóa và công bố các kết quả song song.
Các chứng minh hình thức được xác minh bởi máy tính đảm bảo tính đúng đắn logic thông qua các phần mềm như Lean, nhưng chúng thường thiếu các khung khái niệm trực quan mà các nhà toán học con người dựa vào để thúc đẩy lĩnh vực này.
Các chứng minh toán học truyền thống do con người viết ra phục vụ hai mục đích: xác minh rằng một phát biểu là đúng về mặt toán học và giải thích tại sao nó đúng. Các chứng minh do con người viết ra giới thiệu những cầu nối khái niệm tổng thể, các khung lý thuyết tinh tế và các kỹ thuật có thể tái sử dụng, truyền cảm hứng cho những khám phá tương lai trong các lĩnh vực liên quan.
Ngược lại, một hệ thống AI thực hiện một chuỗi đa tác nhân 88 giờ dựa vào việc khám phá theo cách bạo lực trên hàng triệu nhánh. Tài liệu kết quả dài 166 trang—mặc dù đã được xác minh từng bước bởi động cơ cốt lõi của Lean—hoạt động như một “hộp đen”. Nó xác nhận rằng các điều kiện toán học là đúng, nhưng gây ra khó khăn lớn cho các nhà toán học khi cố gắng rút ra các nguyên lý tổng quát hoặc những hiểu biết mang tính giáo dục.
-
Xác minh chính thức: Đảm bảo không có khe hở logic, lỗi chính tả hoặc sai sót cấu trúc ẩn trong các bước dựa trên mã.
-
Độ dễ đọc của con người: Thiếu mạch kể giáo dục rõ ràng, khiến việc phân tích nhân sự các ý tưởng cấu trúc tổng thể trở nên cực kỳ chậm chạp.
-
Tính khái quát: Có thể giải quyết điều kiện biên cô lập cụ thể mà không cung cấp các kỹ thuật trực tiếp áp dụng cho các hệ thống Navier-Stokes không bị tác động.
Một bằng chứng lý thuyết chứng minh sự bùng nổ toán học không làm thay đổi ngay lập tức các mô hình kỹ thuật thực tế, vì các xấp xỉ số đã xử lý sự hỗn loạn của chất lỏng trong vật lý ứng dụng.
Các phương trình Navier-Stokes được sử dụng rộng rãi trong các ngành công nghiệp toàn cầu để mô hình hóa các mô hình thời tiết, tối ưu hóa thân tàu biển, thiết kế máy bay siêu thanh và mô phỏng dòng chảy máu trong hệ tim mạch. Trong các ứng dụng thực tế, các kỹ sư sử dụng các mô phỏng máy tính rời rạc hoạt động trong các giới hạn vật lý an toàn.
Việc chứng minh rằng các phương trình toán học tạo ra đỉnh vận tốc vô hạn dưới các lực bên ngoài mượt mà cụ thể đã làm rõ những điểm mà các mô hình cơ học chất lỏng liên tục bị phá vỡ ở quy mô nguyên tử cực kỳ nhỏ. Điều này cung cấp cho các nhà vật lý lý thuyết những ranh giới chính xác về thời điểm các giả định cổ điển về chất lỏng liên tục không còn đúng, mở đường cho việc phát triển các mô hình lai cải tiến kết hợp cơ học liên tục với động lực học phân tử.
Giao dịch các token tiền điện tử liên quan đến chu kỳ chủ đề trí tuệ nhân tạo trên KuCoin mang lại khả năng tiếp cận thanh khoản với đà công nghệ mang tính đầu cơ, nhưng đòi hỏi quản lý rủi ro nghiêm ngặt do biến động thị trường.
Mỗi khi các cột mốc quan trọng về trí tuệ nhân tạo xuất hiện trên các tiêu đề toàn cầu, các tài sản tiền điện tử chủ đề AI và các mạng tính toán phi tập trung trải qua khối lượng giao dịch tăng cao. Trên các nền tảng như KuCoin, các nhà giao dịch thường đánh giá các token AI, các mạng GPU phi tập trung và các giao thức về chủ quyền dữ liệu có giao thoa với hạ tầng học máy.
-
Thanh khoản và Truy cập Thị trường: KuCoin cung cấp quyền truy cập vào một danh mục rộng lớn các token theo chủ đề AI, giúp người dùng tận dụng các xu hướng thị trường mới nổi.
-
Các giao thức bảo mật dữ liệu: Cuộc tranh luận đang diễn ra về quyền riêng tư của lời nhắc người dùng cho thấy sự quan tâm ngày càng tăng đối với các dự án AI phi tập trung nhấn mạnh vào tính toán bảo vệ quyền riêng tư và xác minh dữ liệu không kiến thức.
-
Quản lý biến động: Giao dịch đầu cơ xung quanh các chu kỳ tin tức công nghệ lớn gây ra những biến động giá nhanh chóng; việc sử dụng các công cụ spot, giao sau và bot giao dịch thuật toán của KuCoin có thể giúp quản lý rủi ro thực hiện giao dịch.
Để bắt đầu khám phá các tài sản kỹ thuật số chủ đề AI và quản lý mức độ tiếp xúc danh mục đầu tư, người dùng có thể đăng ký tài khoản trực tiếp trên nền tảng giao dịch chính thức KuCoin.
Tin tức thị trường thay đổi nhanh — nhưng nơi bạn hành động cũng quan trọng không kém. Tháng Mười này, KuCoin ra mắt KuCoin 5.0, biến KuCoin thành một nền tảng được xây dựng lại. Dưới đây là những gì thực sự thay đổi đối với bạn:
-
Một tài khoản cho mọi thứ. Các nền tảng cũ chia tiền của bạn thành các tài khoản riêng biệt “spot”, “margin” và “futures” và mong đợi bạn hiểu lý do. Tài khoản hợp nhất của KuCoin 5.0 loại bỏ hoàn toàn điều đó — chỉ cần nạp một lần, mọi thứ đều sẵn có.
-
Cổ phiếu, chỉ số và hàng hóa. KuCoin 5.0 mở rộng vượt ra ngoài tiền điện tử sang các thị trường toàn cầu. Khi tiền điện tử đi ngang và chứng khoán tăng trưởng (hoặc ngược lại), bạn có thể chuyển đổi trong vài phút thay vì mở tài khoản môi giới và chờ đợi vài ngày để chuyển tiền pháp định.
-
Tài sản thực tế (RWA). Tiếp cận các tài sản truyền thống như hàng hóa đã được token hóa, ngay trong tài khoản tiền điện tử của bạn. Một trong những phân đoạn tăng trưởng nhanh nhất trong tài chính toàn cầu giờ đây không còn dành riêng cho các tổ chức — bạn có thể tiếp cận nó từ cùng một số dư mà bạn dùng để giao dịch.
-
Kiếm lợi nhuận trong khi học hỏi. Chưa sẵn sàng giao dịch? KCUSD giúp stablecoin của bạn sinh lời hàng ngày với lãi suất tự động tái đầu tư. Cách đơn giản nhất để đưa số dư không hoạt động của bạn vào làm việc, mang lại lợi suất 4%.
-
Một trợ lý AI bằng ngôn ngữ đơn giản. Đặt câu hỏi, nhận bối cảnh thị trường, hiểu những gì bạn đang xem — được tích hợp sẵn trên nền tảng, không cần dùng thuật ngữ chuyên môn.
-
Một ứng dụng không gây quá tải. Nhanh hơn, sạch sẽ hơn và nhất quán — trực quan ngay từ lần chạm đầu tiên, không cần hướng dẫn.
-
An toàn bạn có thể kiểm tra, không chỉ tin tưởng. Là một thực thể tại EU được cấp phép theo MiCAR, Proof of Reserves mà bạn có thể tự xác minh, cùng với chứng nhận bảo mật quốc tế (SOC 2 Type II, ISO 27001:2022).
Tạo tài khoản của bạn trong vài phút — và bắt đầu trên nền tảng được xây dựng cho tương lai của tiền mã hóa, chứ không phải quá khứ của nó.
Hệ thống đa tác nhân của OpenAI đã chứng minh rằng các phương trình chất lỏng 3 chiều có thể hiển thị điểm kỳ dị trong thời gian hữu hạn dưới tác động ngoại lực trơn tru, được xác minh độc lập thông qua phần mềm Lean. Mặc dù đây là một thành tựu kỹ thuật mang tính lịch sử trong lập luận tự động, giải pháp này vẫn chưa được Viện Toán học Clay xác nhận và đang đối mặt với những tranh luận lớn về nguồn gốc trí tuệ và việc sử dụng dữ liệu. Khi các hệ thống AI tiếp tục giải quyết những thách thức lớn trong khoa học và toán học, ranh giới giữa tính toán máy móc và tính minh bạch trong nghiên cứu của con người vẫn là trọng tâm chính của các ngành công nghệ toàn cầu.
Các phương trình Navier-Stokes được sử dụng để làm gì?
Các phương trình Navier-Stokes mô tả cách chất lỏng chảy bằng cách áp dụng định luật thứ hai của Newton vào các chất lỏng. Chúng rất quan trọng để mô hình hóa các hệ thống thời tiết, thiết kế cánh máy bay, phân tích dòng hải lưu và mô phỏng dòng máu qua các động mạch.
Tại sao lại có giải thưởng 1 triệu đô la cho việc giải bài toán Navier-Stokes?
Viện Toán học Clay đã xác định bài toán tồn tại và tính trơn của Navier-Stokes là một trong bảy bài toán Giải thưởng Thiên niên kỷ vào năm 2000 nhằm khuyến khích các lời giải cho những câu hỏi toán học cơ bản làm nền tảng cho vật lý hiện đại và các phương trình vi phân.
OpenAI có giành giải thưởng Millennium trị giá 1 triệu đô la Mỹ không?
Không, OpenAI đã không giành giải thưởng. Viện Toán học Clay yêu cầu quy trình đánh giá đồng đẳng và xác minh công khai kéo dài nhiều năm trước khi chính thức công nhận bất kỳ giải pháp nào, và OpenAI đã rõ ràng tuyên bố sẽ không yêu cầu giải thưởng tiền mặt.
Lean verification trong toán học là gì?
Lean là một trình xác minh định lý tương tác và ngôn ngữ lập trình mã nguồn mở. Nó kiểm tra các chứng minh toán học bằng cách xác minh rằng mọi bước logic đều tuân thủ nghiêm ngặt các quy tắc tiên đề hình thức, loại bỏ lỗi con người trong việc xác thực chứng minh.
AI có thể sử dụng các cuộc trò chuyện riêng của ChatGPT để giải quyết các vấn đề nghiên cứu không?
Các công ty AI quy định chính sách sử dụng dữ liệu trong điều khoản dịch vụ, cho phép người dùng từ chối tham gia vào quá trình huấn luyện mô hình. Tuy nhiên, các công ty công nghệ thừa nhận rằng dữ liệu telemetri sản phẩm đã được ẩn danh hoặc tổng hợp có thể ảnh hưởng đến những cải tiến chung của mô hình nền tảng theo thời gian.
Tuyên bố từ chối trách nhiệm: Trang này được dịch bằng công nghệ AI để thuận tiện cho bạn. Để biết thông tin chính xác nhất, hãy tham khảo bản gốc tiếng Anh.