Vào tháng 8 năm 2026, OpenAI tuyên bố rằng hệ thống AI nội bộ của họ đã giải một trong bảy bài toán thiên niên kỷ — vấn đề về sự tồn tại và tính trơn của nghiệm phương trình Navier–Stokes.
Theo công ty, chứng minh cho thấy một chất lỏng trơn đứng yên dưới tác dụng của lực trơn có thể phát triển điểm kỳ dị trong thời gian hữu hạn, trong khi năng lượng vẫn hữu hạn.
Lời giải đạt được nhờ hàng nghìn tác tử AI hoạt động trong khoảng 88 giờ và được hình thức hóa trong Lean.
Thông báo ngay lập tức gây tranh cãi trong cộng đồng toán học.
Giáo sư Tristan Buckmaster tại Đại học New York và nhà nghiên cứu Levent Alpöge tại Anthropic trước đó không lâu đã công bố kết quả về các bài toán liên quan, được coi là những bước quan trọng hướng tới giải bài toán Navier–Stokes.
Buckmaster bày tỏ lo ngại rằng OpenAI có thể đã biết về hướng nghiên cứu của họ và đẩy nhanh nỗ lực của riêng mình bằng cách sử dụng cách tiếp cận tương tự.
Công ty bác bỏ cáo buộc tiếp cận dữ liệu hoặc bản thảo của người khác, tuyên bố rằng họ hành động dựa trên tin đồn công khai về tiến bộ trong các bài toán thiên niên kỷ khác.
Việc các tác tử AI đạt được chứng minh như thế nào và liệu có thể coi đây là đột phá độc lập hay không, hiện đang được các nhà toán học và chuyên gia AI thảo luận.
Liệu tình tiết này có ảnh hưởng đến niềm tin của các nhà nghiên cứu vào việc sử dụng các mô hình thương mại để làm việc trên các kết quả chưa công bố hay không?
OpenAI nhấn mạnh rằng họ không có ý định đòi giải thưởng một triệu đô la từ Viện Clay.
Sự kiện này trở thành một ví dụ nữa về việc khả năng AI trong toán học phát triển nhanh như thế nào, nhưng đồng thời đặt ra câu hỏi về đạo đức và quyền tác giả trong sự hợp tác giữa con người và máy móc.
