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

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