Giáo sư NYU tố OpenAI "hớt tay trên" phát kiến toán học bằng AI
Giáo sư Tristan Buckmaster từ Đại học New York và nhà toán học Levent Alpöge tại Anthropic đã đạt được tiến triển quan trọng về phương trình chất lưu bằng các mô hình AI, nhưng ngay sau đó OpenAI tuyên bố đã tìm ra lời giải hoàn chỉnh cho bài toán Navier-Stokes bằng một mô hình thế hệ mới chưa ra mắt. Buckmaster công khai nghi vấn OpenAI đã "hớt tay trên" công trình của họ sau khi nghe ngóng được thông tin và có khả năng đã khai thác dữ liệu tương tác từ Codex. Bài toán tồn tại và tính trơn của Navier-Stokes là một trong bảy "Thách thức Thiên niên kỷ" trị giá một triệu USD, đại diện cho cột mốc nền tảng trong vật lý toán học. Cuộc tranh cãi này làm nổi bật những căng thẳng gia tăng về đạo đức nghiên cứu, quy mô tài nguyên tính toán trong việc tự động chứng minh định lý, và tính bảo mật của các công trình khoa học được thực hiện qua các mô hình AI thương mại. OpenAI cho biết quá trình chứng minh của họ đã tiêu tốn 300 tỷ token đầu ra, tương đương khoảng 22,5 triệu USD chi phí tính toán trong một tuần, đồng thời tuyên bố sẽ từ chối nhận giải thưởng 1 triệu USD từ Viện Clay. Mặc dù OpenAI khẳng định chứng minh của mình là độc lập và không truy cập dữ liệu người dùng riêng tư, Buckmaster chỉ ra rằng OpenAI chỉ bắt đầu nhập câu lệnh cho mô hình sau khi biết tin về hướng tiếp cận toán học độc đáo và hiếm gặp của nhóm ông.
## KIẾN THỨC NỀN
Các phương trình Navier-Stokes mô tả chuyển động của chất lưu, nhưng việc liệu các lời giải trơn không bị nổ (breakdown) có luôn tồn tại trong không gian ba chiều hay không vẫn là một ẩn số. Vào năm 2000, Viện Toán học Clay đã đưa bài toán Navier-Stokes vào danh sách bảy Thách thức Thiên niên kỷ với giải thưởng 1 triệu USD cho lời giải hoặc phản ví dụ được xác minh. Các phát kiến toán học hiện đại ngày càng kết hợp tri thức của chuyên gia với mô hình AI và công cụ kiểm tra chứng minh hình thức như Lean.