OpenAI đạt bước tiến lớn trong nghiên cứu toán học

Theo CHOI, OpenAI đã công bố một mô hình nội bộ mới có khả năng giải quyết hơn 100 vấn đề toán học chưa có lời giải trong thời gian dài. Quá trình này huy động 10.000 tác nhân AI và chỉ mất 24 ngày để hoàn thành.

Sau khi giải quyết thành công bài toán Navier-Stokes, OpenAI đã thành lập một nhóm tư vấn toán học độc lập. Nhóm này sẽ hỗ trợ đánh giá các kết quả do AI tạo ra và cung cấp công cụ cho cộng đồng toán học.

Nghiên cứu bắt đầu từ ngày 28/8 và hoàn tất vào 21/9. OpenAI sử dụng phương pháp học tăng cường quy mô lớn trên mô hình đã được huấn luyện trước, liên tục cập nhật các tác nhân AI trong quá trình tìm kiếm lời giải.

Trước đó, vào ngày 1/8, OpenAI đã công bố 10 trường hợp AI giải quyết các vấn đề về lý thuyết nhóm và hình học. Các kết quả này sau đó được các nhà nghiên cứu hệ thống hóa thành chứng minh Lean.

Vào ngày 9/9, OpenAI tuyên bố đã giải quyết bài toán thiên niên kỷ Navier-Stokes. Họ đưa ra một phản ví dụ toán học cho thấy vận tốc có thể tăng đến vô hạn trong một dòng chảy nhất định.

Khoảng 10.000 tác nhân AI đã làm việc song song để tìm kiếm lời giải. Sau 88 giờ, mô hình tìm ra đáp án và mất thêm 17 giờ để Astra xác minh bằng công cụ Lean.

Theo The Information, OpenAI đang tiến gần đến việc giải quyết giả thuyết Hodge. Đây là một bài toán thiên niên kỷ khác, khác biệt hoàn toàn về lĩnh vực so với bài toán Navier-Stokes trước đó.

Mô hình được sử dụng mạnh mẽ hơn nhiều so với Astra. Dù có tin đồn về mô hình 'Bel', OpenAI chỉ xác nhận đây là một mô hình nội bộ mới chưa công bố tên chính thức.

OpenAI cho biết họ đã đạt đến giai đoạn 'thực tập sinh nghiên cứu tự động'. AI không chỉ giải toán mà còn có thể hỗ trợ viết mã, thiết kế thí nghiệm và phân tích kết quả.

Các chuyên gia như Jerry Cummings và Mark Kissin nhấn mạnh tầm quan trọng của tỷ lệ thành công. Mô hình mới của OpenAI cho thấy tỷ lệ vượt qua các bài toán cao hơn Astra trong cùng điều kiện.

Nhóm tư vấn bao gồm các nhà toán học danh tiếng như Timothy Gowers và Edward Witten. Họ sẽ tư vấn về tiêu chuẩn học thuật và cách thức công bố các kết quả nghiên cứu từ AI.

Sự kiện OpenAI DevDay diễn ra vào ngày 29/9 (giờ San Francisco). Giới công nghệ kỳ vọng các phương pháp nghiên cứu này sẽ sớm được tích hợp vào các công cụ dành cho nhà phát triển.

CHOI nhận định rằng phương pháp này sẽ thay đổi cách các nhà nghiên cứu làm việc. Trong tương lai, mỗi cá nhân có thể sử dụng hàng nghìn tác nhân AI để giải quyết các vấn đề chuyên sâu.

Người dùng có thể tham khảo thêm thông tin chính thức về nhóm tư vấn toán học và AI tại trang web của OpenAI.