Tin tức từ ME News, ngày 9 tháng 9 (UTC+8), OpenAI tuyên bố đã giải quyết được một trong những vấn đề Millennium Prize, đó là vấn đề tồn tại và tính trơn tru của Navier-Stokes, vấn đề đã được treo trong khoảng 90 năm.
Chứng minh này được thực hiện bởi một nhóm các tác nhân sử dụng mô hình thế hệ tiếp theo của OpenAI, có năng lực vượt trội hơn đáng kể so với GPT-6 Astra; OpenAI cho biết đã sử dụng khoảng 10.000 tác nhân hoạt động song song trong khoảng 88 giờ để đưa ra chứng minh, sau đó GPT-6 Astra đã thực hiện xác minh hình thức trong bộ công cụ chứng minh định lý Lean trong 17 giờ. Chứng minh cho thấy chuyển động của chất lỏng ba chiều có thể xuất hiện điểm kỳ dị trong thời gian hữu hạn: các xoáy thu hẹp vào trong, lõi bị kéo giãn và gia tốc đến mức vận tốc trở nên vô hạn, trong khi tổng năng lượng của hệ thống vẫn giữ ở mức hữu hạn. OpenAI đã công khai bản thảo chứng minh dài 165 trang và mã hình thức Lean, đồng thời cho biết không có ý định nhận giải thưởng 1 triệu đô la Mỹ. Hiện tại, Viện Toán học Clay vẫn giữ vấn đề này ở danh mục chưa được giải quyết, vì theo quy định, lời giải phải được xuất bản trên tạp chí đủ tiêu chuẩn và duy trì ít nhất hai năm, đồng thời nhận được sự công nhận rộng rãi từ cộng đồng toán học mới được xem xét trao giải. (Nguồn: X)
