Từ bài toán thiên niên kỷ đến cú sốc 88 giờ
Bài toán Navier-Stokes là một trong bảy bài toán thiên niên kỷ toán học mô tả chuyển động của chất lỏng và khí, được Viện Toán học Clay xem là những thách thức khó nhất, nay bất ngờ được hệ thống AI của OpenAI tuyên bố giải trong 88 giờ, đặt lại câu hỏi về vai trò và giới hạn của trí tuệ nhân tạo trong nghiên cứu toán học hiện đại.
OpenAI cho biết một hệ thống nội bộ đã tìm ra điểm kỳ dị thời gian hữu hạn trong hệ phương trình Navier–Stokes ba chiều, điều mà giới toán học truy tìm suốt 90 năm qua. Đây là một trong các bài toán Thiên niên kỷ do Viện Toán học Clay đề ra, đứng ngang hàng với những bí ẩn được xem là khó nhất của nhân loại. Quan trọng hơn con số 88 giờ, sự kiện này cho thấy AI không còn chỉ là công cụ hỗ trợ tính toán, mà đang bước vào vai trò đồng tác giả tri thức. Nếu trước đây AI giải toán bị xem như trò trình diễn, thì lần này nó trực tiếp can dự vào một bài toán được treo thưởng và giám sát bởi cộng đồng toán học toàn cầu.
Cỗ máy 10.000 OpenAI agent: khi AI giải toán theo kiểu "chiến dịch"
Khác với hình dung lãng mạn về thiên tài cô đơn, lời giải cho bài toán Navier-Stokes lần này được tạo bởi một đội quân khoảng 10.000 tác nhân AI (OpenAI agent) chạy đồng thời trong một chiến dịch bắt đầu từ ngày 1/9. Những AI agent này không đơn thuần thử sai, mà phân rã bài toán thành vô số nhiệm vụ, kế thừa kết quả từ 100 tác nhân nghiên cứu phương trình Euler trước đó, rồi dùng Codex để tổng hợp ý tưởng thành một hướng chứng minh thống nhất.
Theo OpenAI, hệ thống mất 88 giờ, xử lý khoảng 2,7 triệu tin nhắn và tạo ra xấp xỉ 130 tỷ token đầu ra trước khi chốt được cấu trúc lời giải. Sau đó, mô hình GPT-6 Astra dành thêm 17 giờ hình thức hóa và kiểm tra chứng minh bằng ngôn ngữ Lean. Câu nói đáng trích dẫn ở đây là: “Khoảng 10.000 tác nhân AI đã cùng xử lý bài toán và đưa ra đáp án trong 88 giờ”. Nói cách khác, đây là một dây chuyền toán học tự động, nơi logic, kiểm chứng và diễn đạt đều do máy điều phối, còn con người chủ yếu thiết kế khung và đánh giá cuối cùng.
Ý nghĩa của việc AI chạm vào bài toán thiên niên kỷ
Bài toán Navier-Stokes không chỉ mang tính biểu tượng. Nó gắn với các phương trình mô tả chuyển động của không khí, nước, dòng máu, đóng vai trò nền tảng trong thiết kế máy bay, dự báo thời tiết và mô hình hóa sinh học. Nếu AI chứng minh được rằng các phương trình này có thể xuất hiện điểm kỳ dị, nghĩa là mô hình hiện tại có giới hạn và có thể “gãy” theo thời gian, chúng ta buộc phải xem lại cách hiểu về các hiện tượng vật lý mà mình vẫn dùng hàng thập kỷ.
Giám đốc nghiên cứu của OpenAI, Mark Chen, gọi đây là “một cột mốc quan trọng đối với nghiên cứu AI”, vì nó cho thấy AI có thể mở ra khả năng giải đáp ngày càng nhiều câu hỏi hóc búa nhất của nhân loại. Thành tựu AI giải toán này được xem như bằng chứng rằng một cuộc tìm kiếm toán học do máy móc điều phối hoàn toàn có thể chinh phục những bí ẩn tồn tại hàng thập kỷ. Nếu lời giải được cộng đồng chấp nhận, giới toán học sẽ phải nghiêm túc tính đến việc AI trở thành đối tác ngang hàng trong deep learning toán học và khám phá lý thuyết, chứ không còn là công cụ phụ tá.
Tranh cãi về dữ liệu và bài học cảnh giác cho kỷ nguyên AI giải toán
Thành tựu này không xuất hiện trong khoảng không trung tính. Giáo sư Tristan Buckmaster tại Đại học New York nói rằng OpenAI đã tăng tốc nghiên cứu sau khi nghe tin ông và một nhà khoa học tại Anthropic sắp công bố đột phá về chính bài toán Navier-Stokes, trong khi dữ liệu nghiên cứu của họ từng được lưu trữ trong mô hình Codex của OpenAI. Dù OpenAI phủ nhận việc truy cập trái phép máy chủ và khẳng định không dùng trực tiếp kết quả này, họ vẫn thừa nhận khả năng dữ liệu từ quá trình hai nhà khoa học sử dụng sản phẩm của mình đã giúp cải thiện mô hình.
Vấn đề không chỉ là ai giải trước, mà là ranh giới giữa “AI giải toán” và “AI tái chế tri thức của người khác”. Khi AI agent có thể học âm thầm từ dữ liệu người dùng rồi quay lại cạnh tranh với chính họ, chúng ta bước vào một vùng đạo đức mới. Việc OpenAI tuyên bố sẽ không nhận giải thưởng nếu phát hiện được xác nhận là động thái cần thiết nhưng chưa đủ. Nó cho thấy sự tự tin vào năng lực kỹ thuật, nhưng cũng buộc cả ngành phải xây lại quy tắc minh bạch dữ liệu cho thời kỳ AI tham gia sáng tạo toán học ở cấp cao nhất.
Tương lai: AI là đồng tác giả tri thức hay đối thủ của khoa học?
Theo quy định của giải thưởng thiên niên kỷ, lời giải phải được công bố trên một tạp chí khoa học có phản biện và được cộng đồng toán học chấp nhận ít nhất 2 năm trước khi Viện Toán học Clay thành lập hội đồng xem xét. Chủ tịch Viện, Giáo sư Martin Bridson, nhấn mạnh quá trình đánh giá sẽ “hoàn toàn nghiêm ngặt”. Nghĩa là, dù AI có thể sản xuất một bản chứng minh dài hàng nghìn trang trong vài ngày, nó vẫn phải sống chung với nhịp thẩm định chậm rãi của khoa học.
Từ góc nhìn rộng hơn, đột phá này cho thấy tương lai AI giải toán sẽ không chỉ là câu hỏi “AI có thông minh không”, mà là “chúng ta tổ chức cộng đồng khoa học ra sao khi có một tác nhân mới mạnh hơn phần lớn con người về năng lực suy luận”. Thành tựu Navier-Stokes là lời nhắc rằng nếu không định nghĩa rõ quyền tác giả, trách nhiệm và giới hạn của AI agent, khoa học có thể bị kéo vào cuộc đua vũ trang tính toán. Ngược lại, nếu đặt được khung đạo đức và kỹ thuật phù hợp, việc 10.000 OpenAI agent giải một bài toán trong 88 giờ có thể trở thành mô hình chuẩn cho hợp tác người–máy thay vì một cuộc tranh chấp ai là “chủ nhân” của lời giải.
