AI đã giải bài toán thiên niên kỷ Navier–Stokes?

Ngày 8/9/2026, OpenAI công bố một lời giải do hệ thống AI nội bộ tạo ra cho bài toán tồn tại và tính trơn của nghiệm phương trình Navier–Stokes—một trong bảy Bài toán Thiên niên kỷ do Viện Toán học Clay nêu ra năm 2000. Theo công ty, chứng minh chỉ ra rằng một dòng chất lỏng ba chiều, ban đầu trơn, có thể hình thành kỳ dị trong thời gian hữu hạn.

AI đã chứng minh điều gì?

Phương trình Navier–Stokes mô tả chuyển động của chất lỏng và chất khí. Trong trường hợp chất lỏng không nén được, phương trình thường được viết dưới dạng

Ở đây, u là trường vận tốc, p là áp suất, ν biểu thị độ nhớt và f là ngoại lực. Câu hỏi trung tâm không phải liệu kỹ sư có thể mô phỏng dòng chảy trong một trường hợp cụ thể hay không, mà là: từ dữ liệu ban đầu trơn trong không gian ba chiều, nghiệm có luôn tồn tại và trơn với mọi thời gian, hay có thể xuất hiện một điểm kỳ dị?

Theo công bố của OpenAI, hệ thống AI đã xây dựng một nghiệm có ngoại lực trơn, năng lượng hữu hạn nhưng vận tốc trở nên không bị chặn sau một thời gian hữu hạn. Nếu chứng minh vượt qua thẩm định độc lập, nó sẽ giải quyết bài toán theo hướng tồn tại hiện tượng “blow-up”, thay vì chứng minh mọi nghiệm luôn trơn.

OpenAI cho biết các tác nhân đã trao đổi khoảng 2,7 triệu thông điệp và tạo ra khoảng 130 tỷ token đầu ra trong riêng dự án Navier–Stokes. Công ty đồng thời công bố bản trình bày toán học và mã chứng minh trong Lean, một hệ thống cho phép máy tính kiểm tra từng bước suy luận dựa trên các tiên đề và định nghĩa đã được mã hóa.

Vì sao “Lean đã kiểm tra” vẫn chưa khép lại tranh luận?

Một chứng minh hình thức được Lean chấp nhận là bằng chứng rất mạnh rằng chuỗi suy luận bên trong hệ thống hình thức không chứa bước nhảy logic. Tuy nhiên, giới toán học vẫn cần kiểm tra ít nhất ba lớp vấn đề: các định nghĩa trong mã có thực sự tương ứng với phát biểu chính thức của Clay hay không; bản chứng minh có sử dụng giả thiết ẩn hoặc mô hình hóa sai bài toán hay không; và lập luận có đủ minh bạch để con người hiểu, đánh giá cũng như đặt nó vào lịch sử phát triển của lĩnh vực hay không.

Chính Tuyên bố Leiden về AI và Toán học, được Liên đoàn Toán học Quốc tế ủng hộ, cũng lưu ý rằng chứng minh hình thức không tự động loại bỏ mọi khó khăn: khâu chuyển dịch giữa ngôn ngữ toán học của con người và mã máy vẫn cần được thẩm định độc lập.

Chưa có giải thưởng một triệu USD

Quy định của Viện Toán học Clay nêu ba điều kiện trước khi một lời giải được xem xét: phải được công bố tại một kênh đủ tiêu chuẩn; ít nhất hai năm đã trôi qua kể từ ngày công bố; và kết quả phải nhận được sự chấp nhận rộng rãi của cộng đồng toán học quốc tế. Clay không nhận bản thảo gửi trực tiếp.

OpenAI tuyên bố họ không có ý định nhận Giải thưởng Thiên niên kỷ. Dù vậy, quy trình thẩm định vẫn đặc biệt quan trọng, bởi danh hiệu “đã giải” trong toán học không được quyết định bằng một thông cáo báo chí hay chỉ bởi bên tạo ra lời giải.

Giới toán học quốc tế: thán phục đi cùng bất an

“Mọi bài toán mở có thể sụp đổ nếu có đủ tài nguyên”

Trao đổi với The Guardian, Giáo sư David Silvester, Đại học Manchester, mô tả tình hình của ngành toán là “rất bất ổn” trước tốc độ thay đổi. Nhận xét của ông phản ánh một tâm trạng mới: những bài toán từng cần nhiều thế hệ có thể trở thành mục tiêu của các cụm tính toán khổng lồ.

Điều không thể đảo ngược không chỉ là tốc độ giải bài toán, mà còn là sự thay đổi trong cách lựa chọn đề tài, đào tạo sinh viên và đánh giá đóng góp khoa học. Tổng hợp từ các ý kiến của David Silvester, James Robinson và Colva Roney-Dougal trên The Guardian

Giáo sư James Robinson, Đại học Warwick, lo ngại các công ty công nghệ đang dùng những bài toán lớn như một cách phô diễn năng lực. Theo góc nhìn này, bài toán khó không chỉ là một chiếc cúp cần chinh phục; quá trình vật lộn với nó thường sinh ra phương pháp, khái niệm và trực giác mới—những phần có thể quan trọng hơn chính đáp án.

Vẻ đẹp và nhu cầu hiểu toán học vẫn còn đó

Ở chiều ngược lại, Giáo sư Alexander Paseau, Đại học Oxford, cho rằng toán học sẽ không mất sức hấp dẫn ngay cả khi AI vượt con người trong nghiên cứu. Con người vẫn muốn tự mình hiểu một chứng minh và thưởng thức vẻ đẹp của nó. Ông cũng nhấn mạnh các kết quả của AI không xuất hiện từ khoảng không, mà dựa trên khối tri thức được nhiều thế hệ toán học xây dựng.

Tranh cãi về dữ liệu, ghi nhận công lao và cuộc đua công nghệ

Một tranh luận khác liên quan đến công trình đồng thời của Tristan Buckmaster và Levent Alpöge về phương trình Euler. Buckmaster đặt câu hỏi liệu những tương tác nghiên cứu chưa công bố của ông với công cụ AI có thể đã ảnh hưởng đến hệ thống hay không. OpenAI bác bỏ khả năng các lời nhắc Codex của ông trong hai tháng trước công bố đã tác động tới mô hình, đồng thời thừa nhận công trình Euler của Buckmaster–Alpöge có quyền ưu tiên riêng.

Theo The Verge, sự việc khiến nhiều nhà nghiên cứu lo ngại về chuẩn mực cộng tác, quyền đối với dữ liệu chưa công bố và sự bất cân xứng giữa một nhóm hàn lâm với doanh nghiệp sở hữu tài nguyên tính toán khổng lồ. Nhà toán học Shing-Tung Yau đề nghị có một cuộc đánh giá độc lập; ông cho rằng sự ghi nhận phải phản ánh đóng góp trí tuệ, không phải ngân sách tính toán hay ai công bố lớn tiếng nhất.

Điều gì thực sự thay đổi sau sự kiện này?

Nếu lời giải đứng vững, đây không chỉ là lần thứ hai một Bài toán Thiên niên kỷ được giải quyết. Nó còn cho thấy AI đã chuyển từ hỗ trợ tra cứu, tính toán và hình thức hóa sang tham gia trực tiếp vào việc tạo ra chứng minh ở tuyến đầu nghiên cứu. Quy mô 10.000 tác nhân cũng gợi ra một hình thức làm toán mới: hàng nghìn hướng tiếp cận được thử song song, sau đó được sàng lọc và kết nối.

Nhưng một kết quả đúng chưa tự động tạo ra một nền toán học tốt. Cộng đồng vẫn cần người xác định câu hỏi đáng theo đuổi, giải thích cơ chế, tìm cách chứng minh ngắn hơn, nhận diện ý tưởng có thể chuyển sang lĩnh vực khác và đào tạo thế hệ kế tiếp. Giá trị của toán học nằm cả ở chân lý được chứng minh lẫn sự hiểu biết mà chứng minh tạo ra.

Bởi vậy, câu trả lời chính xác nhất vào lúc này là: AI đã tạo ra một lời giải Navier–Stokes rất nghiêm túc, có bản kiểm chứng hình thức và đang được cộng đồng thẩm định. Đây là một bước ngoặt đáng chú ý; còn việc gọi bài toán đã được giải quyết chính thức phải chờ quy trình khoa học làm công việc của nó.

Nguồn tham khảo

1. OpenAI: On the Navier–Stokes Millennium Prize Problem, 8/9/2026.
2. Clay Mathematics Institute: Navier–Stokes Equation.
3. Clay Mathematics Institute: Rules for the Millennium Prize Problems.
4. The Guardian: Mathematicians uneasy at OpenAI’s latest scalp, 12/9/2026.
5. The Verge: OpenAI just wants to win, 12/9/2026.
6. Leiden Declaration on Artificial Intelligence and Mathematics, 2/6/2026.

Navier–StokesAI trong toán họcBài toán Thiên niên kỷ