OpenAI chứng minh phương trình Navier-Stokes có điểm kỳ dị trong thời gian hữu hạn

Vào ngày 8 tháng 9, OpenAI thông báo rằng hệ thống đa tác tử nội bộ của họ đã chứng minh thành công rằng phương trình Navier-Stokes không nén được ba chiều có thể hình thành các điểm kỳ dị trong thời gian hữu hạn, từ đó giải quyết bài toán của thế kỷ này. Bằng chứng được thúc đẩy bởi một mô hình trong OpenAI mạnh hơn GPT-6 Astra và đạt được kết quả sơ bộ vào ngày 5 tháng 9, sau đó là 17 giờ xác minh chính thức bằng Lean. OpenAI tuyên bố rằng bằng chứng cho thấy dưới tác động của các lực bên ngoài trơn, một chất lỏng đứng yên có thể tiến hóa thành các cấu trúc xoáy xoắn vào trong và kéo giãn, với năng lượng vẫn hữu hạn nhưng tốc độ tăng không bị chặn, tương ứng với các trường hợp "C" và "D" trong các Bài toán Giải thưởng Thiên niên kỷ. Toàn bộ quá trình giải bao gồm khoảng 10.000 tác tử đồng thời, gửi khoảng 2,7 triệu tin nhắn và tiêu thụ khoảng 130 tỷ token đầu ra. OpenAI thừa nhận rằng nỗ lực này được lấy cảm hứng từ tin đồn về công việc song song của nhân viên Anthropic Levent Alpöge và giáo sư Tristan Buckmaster của NYU, lưu ý rằng hai bên đã đạt được các kết quả khác nhau liên quan đến vấn đề chính quy của phương trình Euler, với OpenAI chứng minh trường hợp không có lực bên ngoài, trong khi bên kia chứng minh trường hợp có lực bên ngoài.