OpenAI dùng 10.000 AI giải mã bài toán thiên niên kỷ Navier-Stokes trong 88 giờ, Terence Tao lên tiếng

Theo tin từ IT ngày 9 tháng 9, OpenAI thông báo vào ngày 8 tháng 9 (giờ địa phương) rằng một mô hình AI nội bộ chưa được công bố của họ (có hiệu năng vượt xa GPT-6 Astra vừa ra mắt) đã giải quyết thành công "Bài toán tồn tại và tính trơn của phương trình Navier-Stokes" (Navier-Stokes existence and smoothness problem). Đây là một trong bảy "Bài toán Thiên niên kỷ" (Millennium Prize Problems) được Viện Toán học Clay (Clay Mathematics Institute) đưa ra vào năm 2000.

Bài toán này tập trung vào việc liệu các phương trình Navier-Stokes mô tả chuyển động của chất lưu có bị mất tính ổn định hay không, một vấn đề đã làm đau đầu giới toán học trong khoảng 90 năm qua.

Trước đó, vào tháng trước, Anthropic đã thông báo rằng một mô hình nghiên cứu Claude nội bộ chưa công bố của họ đã đạt được tiến bộ quan trọng trong việc chinh phục Giả thuyết Riemann, khi nâng tỷ lệ các điểm không trên đường thẳng tới hạn của hàm zeta Riemann từ mức cận dưới lâu nay là 41,6% lên 67,2%. Tin tức này đã gây chấn động trong ngành.

OpenAI cho biết đội ngũ của họ đã huy động khoảng 10.000 tác nhân AI (AI agents) phối hợp làm việc để tạo ra lời giải trong khoảng 88 giờ. Chứng minh cho thấy một chất lưu tĩnh, trơn tru ban đầu có thể phát triển thành "điểm kỳ dị" (singularity) trong thời gian hữu hạn, tức là tốc độ dòng chảy tăng lên vô hạn.

OpenAI đã cung cấp bản phân tích chứng minh và xác thực hình thức bằng ngôn ngữ lập trình Lean. Công việc xác thực này được hoàn thành bởi GPT-6 Astra trong khoảng 17 giờ.

Cốt lõi của chứng minh và xác thực

Nhà nghiên cứu Sébastien Bubeck của OpenAI gọi đây là "một đỉnh cao đáng kinh ngạc trong quỹ đạo mà chúng ta đã chứng kiến trong mười hai tháng qua".

Chứng minh này đạt được điểm kỳ dị thông qua việc thiết kế một "xoáy nước" (vortex) xoay vào trong và kéo giãn, với năng lượng vẫn giữ ở mức hữu hạn theo yêu cầu của các định luật vật lý. Chứng minh được xây dựng dựa trên giả định về ngoại lực trơn, tương ứng với các trường hợp "C" và "D" trong tuyên bố bài toán chính thức.

Tranh cãi và chất vấn

Tuy nhiên, thông báo này đã nhanh chóng gây ra tranh cãi. Giáo sư toán học Tristan Buckmaster tại Đại học New York và nhà nghiên cứu Levent Alpöge tại Anthropic vừa công bố kết quả nghiên cứu về phương trình chất lưu liên quan vào ngày hôm trước đó.

Buckmaster đặt nghi vấn rằng OpenAI chỉ chuyển nguồn lực sang phương pháp "dẫn động bằng ngoại lực" mà họ đã khám phá từ lâu sau khi nghe tin về tiến triển của nhóm ông. Ông lo ngại rằng dữ liệu nghiên cứu của mình và Alpöge được lưu trữ trong mô hình Codex của OpenAI có thể đã bị sử dụng để huấn luyện hoặc tham khảo, nhưng ông chưa nhận được câu trả lời rõ ràng.

Nhà nghiên cứu Bubeck của OpenAI đã phủ nhận các cáo buộc này, nhấn mạnh rằng cả các nhà nghiên cứu lẫn các tác nhân AI đều không truy cập vào dữ liệu người dùng cụ thể. Tuy nhiên, trong tuyên bố của mình, OpenAI cũng thừa nhận "không loại trừ" khả năng dữ liệu ẩn danh từ những người sử dụng sản phẩm của OpenAI đã góp phần giúp cải thiện mô hình.

Tác động rộng lớn hơn

Sự kiện này làm nổi bật những vấn đề phức tạp nảy sinh khi AI chinh phục các đỉnh cao trí tuệ nhân loại. Nhà toán học nổi tiếng Terence Tao một mặt ví những bài toán này như "ngọn hải đăng" thu hút các nhà khoa học nỗ lực, mặt khác ông cũng cảnh báo rằng nếu AI có thể giải quyết những vấn đề khó nhất mà không cần sự tham gia sâu sắc của con người, điều đó có thể làm suy yếu sự hiểu biết của nhân loại về toán học.

Theo ước tính, chi phí tính toán cho lần này có thể lên tới 15 triệu đến 22,5 triệu USD (tương đương khoảng 101 triệu đến 151 triệu Nhân dân tệ theo tỷ giá hiện tại). OpenAI cho biết họ không có ý định nhận khoản tiền thưởng 1 triệu USD từ Viện Toán học Clay (Ghi chú của IT: tương đương khoảng 6,728 triệu Nhân dân tệ theo tỷ giá hiện tại), nhưng sự kiện này đã khơi mào cho các cuộc thảo luận rộng rãi về quyền tác giả, quyền riêng tư dữ liệu và an toàn trong phát triển AI.

Đọc thêm:

"Mô hình mới chưa công bố 'lập công', Anthropic tuyên bố Claude đạt đột phá lớn trong việc chinh phục Giả thuyết Riemann"

"Khung AI AlphaProof Nexus của Google chinh phục 2 bài toán toán học hóc búa tồn tại suốt 56 năm"

"AI lật đổ giả thuyết hình học nổi tiếng, OpenAI tuyên bố chinh phục bài toán toán học 80 năm"

"OpenAI GPT-4b chinh phục bài toán giải Nobel: Tế bào người 'trẻ lại', hiệu suất đảo ngược tăng vọt 50 lần"