Ngọc Yến✔
Writer
Tóm tắt: Thành tựu đột phá của OpenAI trong việc giải quyết một vấn đề tồn tại suốt 90 năm đang bị thách thức bởi các nhà nghiên cứu đã giải quyết được một vấn đề tương tự chỉ một ngày trước đó. Vậy có phải AI của OpenAI chôm được kết quả không?
OpenAI vừa tuyên bố một hệ thống AI nội bộ đã giải được bài toán Navier-Stokes, một trong bảy Bài toán Thiên niên kỷ nổi tiếng của toán học, vốn chưa có lời giải trong gần 90 năm.
Navier-Stokes là hệ phương trình mô tả chuyển động của chất lỏng và chất khí, được sử dụng trong nhiều lĩnh vực như thiết kế máy bay, dự báo thời tiết và nghiên cứu dòng máu. Vấn đề mà các nhà toán học chưa giải quyết được là liệu trong mọi điều kiện ban đầu trơn tru, nghiệm của phương trình có luôn duy trì tính trơn hay có thể xuất hiện một điểm kỳ dị, nơi vận tốc tăng không giới hạn trong thời gian hữu hạn.
Theo OpenAI, hệ thống AI mới, mạnh hơn GPT-6 Astra, đã tạo ra một chứng minh toán học cho thấy một trường hợp như vậy có thể xảy ra. OpenAI cho biết hệ thống sử dụng tới 10.000 tác nhân AI hoạt động song song, sau đó một hệ thống khác kiểm tra và hình thức hóa chứng minh bằng Lean.
Tuy nhiên, tuyên bố này đang gây tranh cãi. Nhà toán học Tristan Buckmaster thuộc Đại học New York cho biết ông và nhà nghiên cứu Levent Alpöge của Anthropic cũng đang nghiên cứu một hướng tiếp cận liên quan. Hai người đặt câu hỏi liệu công trình của họ, từng được thực hiện với các công cụ AI của OpenAI, có ảnh hưởng đến kết quả của OpenAI hay không. OpenAI phủ nhận việc truy cập dữ liệu người dùng cụ thể, nhưng thừa nhận không thể loại trừ khả năng dữ liệu đã được khử định danh từ việc sử dụng sản phẩm góp phần cải thiện mô hình.
Vì vậy, đây có thể là một cột mốc quan trọng cho AI trong nghiên cứu toán học, nhưng chưa nên hiểu đơn giản là “AI đã giải xong toán học”. Chứng minh vẫn cần được giới toán học kiểm tra độc lập.
Điều đáng chú ý hơn có lẽ là AI đang bắt đầu tham gia trực tiếp vào những bài toán mà con người đã nghiên cứu suốt nhiều thập kỷ.
OpenAI vừa tuyên bố một hệ thống AI nội bộ đã giải được bài toán Navier-Stokes, một trong bảy Bài toán Thiên niên kỷ nổi tiếng của toán học, vốn chưa có lời giải trong gần 90 năm.
Navier-Stokes là hệ phương trình mô tả chuyển động của chất lỏng và chất khí, được sử dụng trong nhiều lĩnh vực như thiết kế máy bay, dự báo thời tiết và nghiên cứu dòng máu. Vấn đề mà các nhà toán học chưa giải quyết được là liệu trong mọi điều kiện ban đầu trơn tru, nghiệm của phương trình có luôn duy trì tính trơn hay có thể xuất hiện một điểm kỳ dị, nơi vận tốc tăng không giới hạn trong thời gian hữu hạn.
Theo OpenAI, hệ thống AI mới, mạnh hơn GPT-6 Astra, đã tạo ra một chứng minh toán học cho thấy một trường hợp như vậy có thể xảy ra. OpenAI cho biết hệ thống sử dụng tới 10.000 tác nhân AI hoạt động song song, sau đó một hệ thống khác kiểm tra và hình thức hóa chứng minh bằng Lean.
Tuy nhiên, tuyên bố này đang gây tranh cãi. Nhà toán học Tristan Buckmaster thuộc Đại học New York cho biết ông và nhà nghiên cứu Levent Alpöge của Anthropic cũng đang nghiên cứu một hướng tiếp cận liên quan. Hai người đặt câu hỏi liệu công trình của họ, từng được thực hiện với các công cụ AI của OpenAI, có ảnh hưởng đến kết quả của OpenAI hay không. OpenAI phủ nhận việc truy cập dữ liệu người dùng cụ thể, nhưng thừa nhận không thể loại trừ khả năng dữ liệu đã được khử định danh từ việc sử dụng sản phẩm góp phần cải thiện mô hình.
Vì vậy, đây có thể là một cột mốc quan trọng cho AI trong nghiên cứu toán học, nhưng chưa nên hiểu đơn giản là “AI đã giải xong toán học”. Chứng minh vẫn cần được giới toán học kiểm tra độc lập.
Điều đáng chú ý hơn có lẽ là AI đang bắt đầu tham gia trực tiếp vào những bài toán mà con người đã nghiên cứu suốt nhiều thập kỷ.
