# AI và lời giải của thiên niên kỷ

Đăng ngày: 2026-09-09

Tôi đã đọc về một sự kiện mà tôi nghĩ rằng nó thực sự đánh dấu một bước ngoặt trong hành trình phát triển của trí tuệ nhân tạo, đó là việc một hệ thống AI nội bộ của OpenAI đã tìm ra lời giải cho Bài toán Navier–Stokes, một trong bảy Bài toán Giải thưởng Thiên niên kỷ. Đây là một câu hỏi mở trong toán học suốt khoảng 90 năm, từ khi Claude-Louis Navier và George Gabriel Stokes đặt nền móng vào thế kỷ 19, và sau đó Jean Leray chứng minh các nghiệm tồn tại ở một dạng tổng quát vào năm 1934. Viện Toán học Clay đã đưa nó vào danh sách bảy bài toán chưa có lời giải vào năm 2000. Vấn đề cốt lõi của Navier–Stokes nằm ở việc liệu chuyển động của chất lỏng ba chiều, không nén được với mật độ không đổi, có thể phát triển một "điểm kỳ dị" (singularity) trong một khoảng thời gian hữu hạn hay không, ngay cả khi chuyển động bắt đầu một cách trơn tru. Một điểm kỳ dị ở đây có nghĩa là tốc độ của chất lỏng tăng không giới hạn, đánh dấu sự phá vỡ trong cách các phương trình mô hình hóa chất lỏng như một môi trường liên tục. Hệ thống AI của OpenAI đã chứng minh rằng điều này có thể xảy ra: chúng đã tạo ra một bằng chứng phân tích và một bản hình thức hóa bằng Lean cho thấy một chất lỏng ban đầu trơn tru có thể phát triển một điểm kỳ dị trong thời gian hữu hạn. Lời giải là một xoáy nước (vortex) xoắn ốc vào trong và dài ra, tựa như sợi mì spaghetti, đồng thời vẫn giữ năng lượng hữu hạn như các định luật vật lý yêu cầu. Kết quả này đã giải quyết vấn đề Navier–Stokes bằng cách thiết lập tuyên bố "C" (và cả "D") trong công thức Giải thưởng Thiên niên kỷ chính thức. Để đạt được thành tựu này, OpenAI đã sử dụng một mô hình nội bộ vượt trội đáng kể so với GPT-6 Astra, vốn đã được đào tạo liên tục từ ngày 28 tháng 8 năm 2026 và cho thấy hiệu suất chưa từng có. Từ ngày 1 tháng 9 năm 2026, họ bắt đầu triển khai một hệ thống gồm nhiều "agent" AI phối hợp, được cung cấp các công cụ như khả năng đọc từ bộ nhớ đệm internet và chạy mã. Nhóm agent giải quyết vấn đề Navier–Stokes bao gồm khoảng 10.000 agent hoạt động đồng thời. Tổng cộng, quá trình này đã tiêu tốn khoảng 2,7 triệu tin nhắn và 130 tỷ token đầu ra chỉ riêng cho bài toán Navier–Stokes. Trước đó, một hệ thống tương tự gồm gần 100 agent cũng đã dành khoảng 50 giờ để giải quyết một biến thể của vấn đề Euler, một bài toán liên quan đến giới hạn của Navier–Stokes khi loại bỏ yếu tố độ nhớt. Thú vị là, nỗ lực của OpenAI bắt đầu vào ngày 1 tháng 9 năm 2026 sau khi họ nghe tin đồn rằng hai trong số các Bài toán Thiên niên kỷ đã được giải quyết. Sau khi hoàn thành dự án và xác minh bằng Lean vào ngày 6 tháng 9, họ đã liên hệ với Levent Alpöge của Anthropic và Tristan Buckmaster từ NYU, những người mà họ tin rằng cũng có một lời giải Navier–Stokes. Tuy nhiên, họ phát hiện ra rằng công trình của hai nhà khoa học này là về vấn đề Euler cưỡng bức, khác với lời giải Euler không cưỡng bức của hệ thống AI. Tôi thấy rằng OpenAI không có ý định nhận Giải thưởng Thiên niên kỷ cho kết quả này, mà muốn báo cáo về những tiến bộ đáng kể của các mô hình AI. Theo tôi, đây không chỉ là một cột mốc toán học, mà còn là một "ảnh chụp nhanh" về tốc độ tiến bộ của AI. OpenAI tin rằng chúng ta đang bước vào một giai đoạn phát triển AI mới, nơi khả năng của các mô hình không ngừng tăng lên. Điều này đặt ra câu hỏi lớn về việc làm thế nào chúng ta có thể xây dựng các hệ thống AI có khả năng điều khiển, có trách nhiệm và kết nối với con người, đòi hỏi những lựa chọn thận trọng về tốc độ phát triển. Việc một hệ thống không phải con người có thể giải quyết một bài toán toán học kinh điển cho thấy AI đang dần chen chân vào những lĩnh vực tưởng chừng độc quyền của tư duy con người, và tôi tin rằng bức tranh lớn hơn về tương lai của AGI đang dần hiện rõ.

Canonical: https://www.tungpham.vn/blog/ai-va-loi-giai-cua-thien-nien-ky