OpenAI cho biết mô hình AI nội bộ của họ đã giải quyết Vấn đề Giải thưởng Thiên niên kỷ Navier-Stokes bằng cách chứng minh rằng các phương trình có thể phát triển đến vô cùng, tạo ra tốc độ vô hạn; vấn đề này là một trong bảy Vấn đề Giải thưởng Thiên niên kỷ được Viện Toán học Clay chỉ định và mang lại giải thưởng trị giá 1 triệu đô la. OpenAI cho biết kết quả này cần khoảng 88 giờ tính toán và sự phối hợp của khoảng 10.000 tác nhân AI. Các nhà toán học đối thủ Tristan Buckmaster và Levent Alpöge cho biết họ đã dành gần một năm làm việc với AI để tìm ra giải pháp tương tự và báo cáo rằng họ đã đạt được giải pháp vào ngày 22 tháng 8.
OpenAI cho biết một mô hình AI nội bộ đã sản xuất một chứng minh chính thức giải quyết Vấn đề Giải thưởng Thiên niên kỷ Navier-Stokes chứng minh rằng các phương trình có thể phát triển, đạt đến tốc độ vô hạn. Công ty cho biết mô hình đã tạo ra một chứng minh dài khoảng 100 trang cho trường hợp Navier-Stokes bị buộc và trình bày tài liệu đó như một lập luận chính thức hoàn chỉnh thiết lập sự phát triển trong bối cảnh đó. OpenAI lưu ý rằng vấn đề Navier-Stokes là một trong bảy Vấn đề Giải thưởng Thiên niên kỷ và mang lại giải thưởng 1 triệu đô la từ Viện Toán học Clay.
OpenAI cho biết quá trình tính toán kéo dài khoảng 88 giờ và liên quan đến khoảng 10.000 tác nhân AI phối hợp làm việc trong một chiến dịch phối hợp để tìm kiếm và xây dựng lập luận. Công ty cho biết những tác nhân đó được tổ chức để xử lý các phần khác nhau của quá trình tính toán trong suốt quá trình. OpenAI cho biết lập luận kết quả đã được kiểm tra từng bước bằng cách sử dụng trợ lý chứng minh Lean để xác minh chính thức.
Tristan Buckmaster và Levent Alpöge đã dành gần một năm để sử dụng các mô hình AI nhằm theo đuổi các chứng minh chứng minh sự nổ mạnh trong các phương trình Navier-Stokes. Công việc của họ culminated với việc họ nói rằng đã đạt được một giải pháp vào ngày 22 tháng 8. Buckmaster cho biết anh đã thông báo cho một nhà toán học tại OpenAI về dự án vào ngày 3 tháng 9. Thông báo đó diễn ra giữa lúc có tin đồn rằng Anthropic đã giải quyết được một vấn đề lớn có liên quan, điều này góp phần làm tăng thêm sự chú ý xung quanh thời điểm.
Báo cáo của họ phác thảo một thời gian biểu về nghiên cứu hỗ trợ bởi AI, tiếp theo là sự liên lạc với một nhà toán học của OpenAI. Buckmaster và Alpöge trình bày những ngày tháng và tương tác đó như là trung tâm của yêu cầu ưu tiên của họ. Chuỗi thời gian này nền tảng cho sự tranh chấp về tác quyền và tín dụng đã được mô tả trong các báo cáo về vấn đề này.
OpenAI đã đề nghị Tristan Buckmaster hai tùy chọn công bố, Buckmaster cho biết: công bố ngay ngày hôm sau sau nhóm của anh hoặc cho phép Buckmaster công bố một mình mà không có Levent Alpöge vì Alpöge làm việc tại một phòng thí nghiệm cạnh tranh. Buckmaster đã công bố các bài viết của mình với Levent Alpöge được ghi nhận trong đó, trong khi OpenAI không ghi nhận cả hai nhà nghiên cứu. Chuỗi những đề nghị và lựa chọn công bố đó được Buckmaster mô tả là trung tâm của tranh chấp về tác quyền.
OpenAI và Sam Altman phủ nhận sự miêu tả của Buckmaster về những tương tác đó. Sébastien Bubeck sau đó đã đăng các tin nhắn đề xuất việc phát hành phối hợp với Alpöge và cung cấp các gợi ý cho OpenAI. Bubeck cho biết, “Tôi chưa bao giờ yêu cầu Levent bị xóa khỏi tác quyền của công việc của chính mình.” Buckmaster bày tỏ lo lắng về việc xóa tác quyền với câu hỏi, “Tại sao bạn lại làm hỏng sự nghiệp của mình?” và nhận xét, “Tôi hy vọng điều đó rõ ràng từ tin nhắn rằng chúng tôi đến đây với những ý định tốt nhất có thể.”
Các trao đổi về các tùy chọn xuất bản, quyền tác giả và công nhận là trọng tâm của cuộc tranh chấp. Các bên liên quan đã đưa ra những lời phủ nhận và thông điệp công khai về các sự kiện.
Cuộc tranh chấp xung quanh chứng minh Navier-Stokes vẫn đang diễn ra, tập trung vào các tuyên bố cạnh tranh về việc ai nên được công nhận cho giải pháp được cho là và những bất đồng về quyết định quyền tác giả và lựa chọn xuất bản. Các bên liên quan đã đưa ra những thông tin khác nhau và phủ nhận, và sự bất đồng về công nhận và quyền tác giả vẫn tiếp tục là yếu tố chính chưa được giải quyết trong cuộc tranh cãi.
