Viện Toán học Clay đã công khai thừa nhận lần đầu tiên rằng bài toán tính trơn và sự tồn tại của Navier-Stokes - một trong bảy bài toán Giải thưởng Thiên niên kỷ - "dường như đã được giải quyết". Tuyên bố, được công bố trên trang web của viện hôm thứ Sáu, chuyển một trong những câu chuyện về toán học và AI gây tranh cãi nhất trong năm vào quy trình đánh giá giải thưởng chính thức của viện, đồng thời nêu rõ rằng không có giải thưởng nào được trao và không có bằng chứng nào được xác nhận.
Viện viết trong thông báo ngày 11 tháng 9 năm 2026: “Hôm nay, CMI chia sẻ sự phấn khích của cộng đồng toán học toàn cầu khi chúng tôi dự đoán thông báo rằng vấn đề Navier-Stokes dường như đã được giải quyết”. For more context on this story, see our ongoing AI trends.
Tại sao Tuyên bố lại quan trọng
Ngôn ngữ được đo lường của viện đang thực hiện rất nhiều công việc và mỗi từ được phân tích cú pháp trong vòng vài giờ trên Hacker News, nơi thông báo thu thập được hơn 100 điểm. Những gì tuyên bố không nói cũng quan trọng như những gì nó làm: Viện Toán học Clay không nêu tên OpenAI, không xác nhận rằng bất kỳ bằng chứng cụ thể nào là chính xác và không kích hoạt giải thưởng.
Bối cảnh giải thích sự kiềm chế. Vào ngày 8 tháng 9, OpenAI đã công bố một giải pháp được xác nhận cho vấn đề Navier-Stokes, tuyên bố rằng hệ thống AI nội bộ - được công ty mô tả là có khả năng cao hơn đáng kể so với mẫu GPT-6 Astra của họ - đã tạo ra cả bằng chứng phân tích và xác minh chính thức trong trợ lý chứng minh Lean. Thông báo ngay lập tức đề cập nhiều đến tín dụng cũng như tính toán, bởi vì hai nhà toán học hàn lâm đã phát hành các bài báo có liên quan chặt chẽ với nhau trong cùng một ngày và các nhà nghiên cứu đã thúc ép OpenAI xem công trình của ai đã thông báo kết quả của máy.
Với việc viện hiện thừa nhận rằng vấn đề "rõ ràng đã được giải quyết", tranh chấp đã thay đổi địa hình: từ thông cáo báo chí về bóng bàn đến thủ tục đánh giá Giải thưởng Thiên niên kỷ, mà viện mô tả là "cố tình chậm trễ".
Bài toán Navier-Stokes yêu cầu gì
Vấn đề liên quan đến sự tồn tại và tính trơn tru của nghiệm của các phương trình Navier-Stokes trong không gian Euclide ba chiều - các phương trình mô tả cách các chất lỏng như nước và không khí chuyển động. Mặc dù các phương trình này được sử dụng hàng ngày bởi các kỹ sư, nhà khí tượng học và nhà khí động học, nhưng các nhà toán học chưa bao giờ chứng minh được rằng các nghiệm trơn tru, hợp lý về mặt vật lý luôn tồn tại trong ba chiều, hoặc chúng hành xử có thể dự đoán được thay vì phát triển các điểm kỳ dị.
Viện Toán học Clay đã công bố các Bài toán Giải thưởng Thiên niên kỷ tại một cuộc họp ở Paris năm 2000, gắn giải thưởng trị giá 1 triệu đô la cho mỗi bài trong số bảy bài toán, trong đó cũng bao gồm Giả thuyết Riemann và P so với NP. Trong tuyên bố hôm thứ Sáu, viện đã nhắc lại lý do ban đầu của mình: nâng cao nhận thức của công chúng rằng biên giới toán học là rộng mở và công nhận “những thành tựu trong toán học có tầm quan trọng lịch sử”.
Chỉ một trong bảy vấn đề, Giả thuyết Poincaré, đã được giải quyết - bởi Grigori Perelman trong công trình được đăng vào năm 2002 và 2003, trong đó ông đã từ chối cả Huy chương Fields và tiền thưởng.
Một sự đánh giá 'cố tình không vội vàng' phía trước
Thông báo của viện chỉ ra các quy tắc giải thưởng là khuôn khổ quản lý cho những gì xảy ra tiếp theo. Tuyên bố viết: “Các quy tắc quản lý các giải thưởng mô tả quá trình đánh giá những gì đã đạt được và phân bổ tín chỉ”. "Quá trình này diễn ra chậm rãi một cách có chủ ý, nhưng chúng tôi sẽ cung cấp thông tin cập nhật."
Cách diễn đạt đó để lại một số câu hỏi mà cộng đồng toán học hiện đang tranh luận một cách công khai. Việc xác minh là trở ngại đầu tiên: bằng chứng về sự trơn tru của Navier-Stokes thường sẽ phải mất một ủy ban gồm các chuyên gia trong nhiều tháng để kiểm tra từng dòng một. Tuyên bố của OpenAI rằng kết quả của nó bao gồm quá trình chính thức hóa được kiểm tra bằng máy trong Lean, về nguyên tắc, có thể nén đáng kể dòng thời gian đó, vì việc xác minh chính thức làm giảm câu hỏi về tính chính xác đối với những gì trợ lý chứng minh sẽ chấp nhận. Nhưng viện vẫn chưa cho biết liệu việc chính thức hóa như vậy đã được đệ trình hay chưa, ai là trọng tài, hoặc công lao sẽ được phân bổ như thế nào giữa hệ thống AI, những người tạo ra nó tại OpenAI và các nhà toán học hàn lâm có bài báo liên quan xuất hiện cùng tuần.
Tuyên bố cũng không đề cập đến việc liệu giải pháp phần lớn thuộc về hệ thống AI có đủ điều kiện nhận giải thưởng, theo ngôn ngữ thành lập của viện, để công nhận thành tựu toán học của con người hay không – một câu hỏi chưa có tiền lệ trong lịch sử 26 năm của giải thưởng.
Căng thẳng đằng sau thông báo
Thông báo đến vào một thời điểm cực kỳ tế nhị về sự giao thoa giữa AI và toán học. Vào thứ Sáu, một nhóm gồm 25 người đoạt Huy chương Fields, trong đó có Terence Tao, đã đưa ra một tuyên bố chính thức cảnh báo rằng cuộc chạy đua nhằm giới thiệu các hệ thống AI dựa trên các tiêu chuẩn toán học đang gây tổn hại cho cả khoa học và cộng đồng đang duy trì nó — một tuyên bố đã thu hút thêm hơn 1.300 người ủng hộ trong vòng một ngày, như AI Buzz Wire đã báo cáo trước đó.
Hai tài liệu đọc gần như là câu trả lời cho nhau. Tuyên bố của các nhà toán học cảnh báo việc coi các vấn đề sâu sắc như chiến tích chuẩn mực; Thông báo của viện, trong khi nắm bắt kết quả, đã nhấn mạnh vào thời điểm xung quanh sự hiểu biết hơn là chiến thắng, hy vọng sẽ thấy "làn sóng hiểu biết mới của con người được giải phóng khi những đổi mới đằng sau công việc này được phân tích và thẩm vấn."
Ngay cả báo cáo của chính viện về lĩnh vực xung quanh cũng thừa nhận sự thay đổi: "Khả năng ngày càng tăng của các công nghệ mới để tăng tốc nghiên cứu toán học đã nâng cao cảm giác mong đợi này", tuyên bố lưu ý, ghi nhận những đột phá gần đây ở các khu vực lân cận - một số được công nhận bởi Giải thưởng Nghiên cứu Clay - với việc làm dấy lên hy vọng rằng Navier-Stokes có thể sớm sụp đổ.
Điều gì xảy ra tiếp theo
Hiện tại, kết quả rút ra thực tế còn hạn hẹp nhưng có thực tế: viện sở hữu vấn đề đã ghi nhận rằng họ coi vấn đề dường như đã được giải quyết và đã cam kết cập nhật công khai khi tiến hành đánh giá. Nếu tác phẩm vượt qua được sự xem xét kỹ lưỡng, thì đây sẽ là Vấn đề Thiên niên kỷ thứ hai được giải quyết, lần đầu tiên sau hai thập kỷ - và là lần đầu tiên trong lịch sử được ghi nhận một phần nhờ hệ thống AI, một sự khác biệt sẽ định hình cách các tổ chức toán học xử lý yêu cầu tiếp theo như vậy.
Viện đã yêu cầu sự kiên nhẫn. Cho rằng quy trình này, theo thiết kế, diễn ra chậm rãi một cách có chủ ý, các câu hỏi của cộng đồng - về bằng chứng, uy tín và vai trò của cỗ máy tạo ra nó - sẽ được trả lời theo dòng thời gian của viện chứ không phải theo chu kỳ tin tức.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
