OpenAI tuyên bố AI đã giải quyết vấn đề bùng nổ Navier-Stokes, nhà toán học NYU phản bác về mốc thời gian

OpenAI cho biết mô hình AI nội bộ của họ đã chứng minh rằng các phương trình Navier-Stokes có thể phát triển vô hạn. Các phương trình này mô tả cách chất lỏng di chuyển. Một sự “phát triển vô hạn” là điểm mà toán học dự đoán tốc độ vô hạn. Vấn đề này là một trong bảy bài toán Millennium Prize, mỗi bài có giải thưởng 1 triệu đô la từ Viện Toán học Clay. OpenAI cho biết kết quả này mất 88 giờ. OpenAI cho biết khoảng 10.000 tác nhân AI phối hợp đã làm việc trên kết quả này. Các tác nhân là các bản sao của các mô hình của họ hoạt động song song. Lean đã kiểm tra từng bước chứng minh. Nhà toán học tại NYU Tristan Buckmaster cho biết ông và Levent Alpöge đã dành gần một năm sử dụng các mô hình AI để tìm kiếm các chứng minh về sự phát triển vô hạn của chất lỏng. Buckmaster cho biết họ đã có một giải pháp vào ngày 22 tháng 8. Ông nói rằng ông đã thông báo cho một nhà toán học tại OpenAI về dự án này vào ngày 3 tháng 9. Ông mô tả dự án là cá nhân và không liên quan đến bất kỳ công ty nào. Ba ngày sau, Sébastien Bubeck thông báo với Buckmaster rằng một mô hình nội bộ đã tạo ra một chứng minh 100 trang cho Navier-Stokes có lực tác động. Buckmaster cho biết cách tiếp cận này là cách tiếp cận hẹp giống như hầu hết mọi người khác không theo đuổi. Buckmaster nói rằng Bubeck đề nghị để OpenAI công bố ngay sau nhóm của ông. Buckmaster nói rằng Bubeck còn đề nghị để ông viết bài báo một mình mà không có Alpöge, vì Alpöge làm việc tại một phòng thí nghiệm đối thủ. Buckmaster nói rằng Bubeck hỏi: “Tại sao bạn lại phá hủy sự nghiệp của mình?” Sau đó, Buckmaster đã công bố các bài nghiên cứu với những phát hiện của mình. Các bài báo này ghi công Alpöge. OpenAI không ghi công bất kỳ nhà nghiên cứu nào trong thông báo của họ. Một tweet trích dẫn thừa nhận rằng OpenAI không thể loại trừ khả năng dữ liệu đã được ẩn danh từ việc sử dụng sản phẩm giúp cải thiện các mô hình của họ. Bubeck, OpenAI và Altman phủ nhận cách diễn giải của Buckmaster. Bubeck đã chia sẻ các tin nhắn đề xuất một đợt công bố phối hợp với Alpöge. Bubeck cũng đề nghị chia sẻ các prompt của OpenAI. Bubeck nói rằng ông hành động với thiện chí. Sam Altman nói rằng Bubeck đã hành xử trung thực và hào phóng suốt quá trình. Altman nói rằng OpenAI đã đề nghị nhóm của Buckmaster được công bố trước sau khi nhận ra nhóm này chỉ giải được phương trình Euler chứ không phải Navier-Stokes đầy đủ. OpenAI cho biết họ chưa từng xem công việc của cặp đôi này trước khi công bố. OpenAI nói rằng họ không truy cập bất kỳ dữ liệu người dùng cụ thể nào. OpenAI không loại trừ rõ ràng khả năng dữ liệu đã được ẩn danh từ việc sử dụng sản phẩm giúp cải thiện các mô hình của họ. Nhà toán học đoạt Huy chương Fields Terence Tao gọi toán học nền tảng của Buckmaster và Alpöge là một thành tựu đáng kinh ngạc. Kết quả tiên tiến nhất của họ vẫn chưa được công bố, đang chờ kiểm tra cuối cùng bởi Lean. Cho đến nay, chưa có ai ngoài OpenAI độc lập đánh giá chứng minh 100 trang này.