OpenAI báo cáo phát hiện điểm kỳ dị Navier-Stokes bằng 10.000 agent AI
OpenAI được cho là đã sử dụng hệ thống đa agent "Astra-next" để phát hiện điểm kỳ dị trong phương trình Navier-Stokes chỉ trong 88 giờ. Nỗ lực quy mô lớn này đã huy động khoảng 10.000 agent và tiêu tốn hơn 130 tỷ token với chi phí vượt quá 40 triệu USD, tạo nên bước tiến ứng tuyển giải quyết Bài toán Giải thưởng Thiên niên kỷ. Nếu được xác minh, công trình này sẽ đánh dấu Bài toán Giải thưởng Thiên niên kỷ thứ hai từng được giải quyết và là minh chứng lịch sử về việc AI tự chủ giải quyết các thách thức toán học thuần túy. Điều này cho thấy việc mở rộng quy mô tính toán cho suy luận lên tới hàng chục triệu đô la có thể tạo ra những đột phá khoa học nền tảng. Cấu hình tính toán đã triển khai khoảng 10.000 agent Astra-next chạy đồng thời trong 88 giờ để tạo và xác minh các chứng minh toán học. Việc xác định hiện tượng bùng nổ trong thời gian hữu hạn (điểm kỳ dị) trong phương trình Navier-Stokes trả lời một câu hỏi cốt lõi của cơ học chất lưu bằng cách chứng minh rằng các nghiệm trơn toàn cục không phải lúc nào cũng tồn tại.
## KIẾN THỨC NỀN
Bài toán về sự tồn tại và tính trơn của phương trình Navier-Stokes là một trong bảy Bài toán Giải thưởng Thiên niên kỷ do Viện Toán học Clay thành lập năm 2000, với giải thưởng 1 triệu USD cho lời giải hợp lệ. Bài toán đặt câu hỏi liệu các phương trình vi phân đạo hàm riêng mô tả chuyển động của chất lưu có luôn tạo ra nghiệm trơn và hợp lý về mặt vật lý trong không gian ba chiều hay không, hay các điểm kỳ dị toán học có thể xuất hiện. Trước tuyên bố này, chứng minh giả thuyết Poincaré của Grigori Perelman vào năm 2002 là Bài toán Giải thưởng Thiên niên kỷ duy nhất từng được giải quyết.