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