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

ChainCatcher đưa tin, vào ngày 8 tháng 9, OpenAI thông báo 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 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 nổi tiếng của thế kỷ này. Chứng minh này được điều khiển bởi một mô hình nội bộ mạnh hơn GPT-6 Astra, với kết quả sơ bộ đạt được vào ngày 5 tháng 9, sau đó được xác minh hình thức bằng Lean trong 17 giờ. 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 trơn tru, chất lỏng đứng yên có thể phát triển thành các cấu trúc xoáy cuộn vào trong và kéo giãn, với năng lượng giữ ở mức hữu hạn nhưng tốc độ tăng vô 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 nỗ lực này được truyền 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 tại NYU, đồng thời nhấn mạnh rằng kết quả của hai bên khác nhau trong vấn đề tính đều 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 phía đối phương chứng minh trường hợp có lực bên ngoài.