Động sát Beating AI tin nhanh, OpenAI công bố một chứng minh Navier-Stokes do AI hoàn thành. Đây là bài toán khó chưa có lời giải suốt khoảng 90 năm, cũng là một trong bảy "bài toán thiên niên kỷ", với giải thưởng 1 triệu USD.

OpenAI cho biết, họ sử dụng một mô hình nội bộ vẫn đang trong quá trình huấn luyện, có năng lực rõ ràng vượt trội hơn GPT-6 Astra, với khoảng 10.000 Agent phối hợp làm việc, tìm ra lời giải trong 88 giờ, sau đó dùng Astra mất thêm 17 giờ để hoàn tất quá trình xác minh máy Lean. Bài báo và mã xác minh đã được công khai, nhưng vẫn phải chờ sự thẩm định của giới toán học.

Đằng sau thành quả này còn có tranh cãi về việc giành quyền công bố trước. Nhà toán học Tristan Buckmaster tại Đại học New York và nhân viên của Anthropic là Levent Alpöge trước đó cũng đã nhờ đến Claude và Codex để thúc đẩy nghiên cứu cùng hướng. Buckmaster cho biết, sau khi tiến triển chưa công bố của hai người truyền đến OpenAI, OpenAI đã đổ nguồn lực tính toán lớn vào cùng hướng đi này trong vài ngày, thậm chí từng đề xuất Buckmaster viết lại chứng minh Navier-Stokes của OpenAI, nhưng không cho Alpöge đứng tên.

OpenAI hiện thừa nhận, cuộc chạy đua này thực sự bắt nguồn từ tin đồn "Anthropic có thể đã giải được bài toán thiên niên kỷ". Ngày 1 tháng 9, đội ngũ bắt đầu cho mô hình mới thử thách nhiều bài toán khó, trước tiên dùng gần 100 Agent để đạt kết quả Euler, sau đó tập trung nguồn lực vào Navier-Stokes, cuối cùng mở rộng lên khoảng 10.000 Agent. OpenAI phủ nhận việc đã xem nghiên cứu của Buckmaster trước khi ông công bố bài báo, cũng phủ nhận việc gọi dữ liệu người dùng cụ thể, nhưng không hoàn toàn loại trừ khả năng khác: dữ liệu đã được ẩn danh hóa từ việc hai người sử dụng sản phẩm của OpenAI có thể đã được dùng để cải thiện mô hình.

Sébastien Bubeck cũng đã phản hồi về tranh cãi liên quan đến việc ghi tên tác giả và câu nói "hủy hoại sự nghiệp". Ông cho biết, mình không yêu cầu Alpöge từ bỏ quyền đứng tên trong thành quả nghiên cứu ban đầu của hai người; thời điểm đó chỉ trao đổi về việc để Buckmaster chủ bút chứng minh của OpenAI, và ông cho rằng việc để nhân viên của Anthropic đứng tên trong công trình của OpenAI là không phù hợp. Về câu nói "tại sao lại muốn hủy hoại sự nghiệp của chính mình", Bubeck thừa nhận cách diễn đạt tồi và đã xin lỗi, nhưng phủ nhận đó là lời đe dọa. Sam Altman cũng công khai đứng về phía Bubeck, đồng thời xác nhận rằng OpenAI ban đầu nghe tin đồn từ Anthropic rồi mới muốn xem mô hình của mình có thể làm được hay không.

OpenAI cho biết sẽ không nhận giải thưởng 1 triệu đô la Mỹ tương ứng với bài toán khó này.