OpenAI Nói Đã Giải Bài Toán Navier-Stokes, Gây Tranh Cãi

OpenAI nói Navier-Stokes là một trong bảy bài toán thiên niên kỷ của Clay Mathematics Institute năm 2000. Bài toán này có thưởng 1 triệu đô la. Công ty cho biết lời giải được tạo ra bằng một model nội bộ mạnh hơn GPT-6 Astra, cùng 10.000 agent chạy đồng thời.

Công ty cũng nói đã bắt đầu huấn luyện một model mới có năng lực toán học cao vào 28/8. Sau khi nghe tin đồn về tiến triển ở Anthropic, OpenAI chuyển thêm nguồn lực sang bài toán này. OpenAI còn nói công việc bắt đầu ngày 1/9 và hoàn tất kiểm chứng Lean ngày 6/9.

Tranh cãi bùng lên sau khi Tristan Buckmaster và Levent Alpöge nói OpenAI đã lấy công trình đang làm dở của họ làm điểm xuất phát và không ghi công. Buckmaster nói họ đã đưa các bản nháp vào Codex trong suốt dự án và hỏi liệu model có được huấn luyện trên, hoặc truy cập vào, các phiên đó hay không. OpenAI bác bỏ và nói không có dữ liệu người dùng cụ thể nào được truy cập để giải bài toán này.

Sébastien Bubeck nói nhóm của OpenAI không thấy công trình của họ cho tới khi nó được công bố công khai vào tối hôm trước. Ông cũng nói các chứng minh khác nhau đáng kể, kể cả kết quả cụ thể được chứng minh. OpenAI nói đã đề nghị công bố đồng thời và cùng ghi nhận ưu tiên của Buckmaster và Alpöge, nhưng sau đó mới biết hai người đã giải bài toán Euler cưỡng bức chứ không phải Navier-Stokes.

OpenAI cũng nói không thể loại trừ khả năng dữ liệu đã được ẩn danh từ việc họ dùng sản phẩm của công ty đã giúp cải thiện model. Mark Chen nói riêng chi phí tính toán đã ở mức hàng triệu đô la. OpenAI cho biết không có kế hoạch nhận giải thưởng 1 triệu đô la này.