OpenAI hôm thứ Hai tiết lộ mô hình lý luận đa năng của mình đã giải bài toán khoảng cách đơn vị phẳng, một câu hỏi mở trong hình học rời rạc do nhà toán học Paul Erdos đặt ra lần đầu năm 1946. Thành tựu này đánh dấu lần đầu tiên một hệ thống AI tự động giải thành công một bài toán mở nổi bật trọng tâm của một lĩnh vực toán học.
AI phát hiện ra điều gì
Trong gần 80 năm, các nhà toán học tin rằng các giải pháp tối ưu cho bài toán Erdos gần giống với các lưới vuông. Mô hình OpenAI bác bỏ giả định đó, tạo ra một họ cấu trúc hoàn toàn mới mang lại hiệu suất tốt hơn. Chứng minh này đến từ một mô hình lý luận đa năng, không phải hệ thống được xây dựng riêng cho toán học và được chính thức hóa bằng ngôn ngữ xác thực Lean.
Xác thực chuyên gia
Người đoạt huy chương Fields Terence Tao đã xem xét và chấp nhận chứng minh, mang lại uy tín cho nó trong cộng đồng toán học. Kết quả được mô tả là khởi đầu của một kỷ nguyên mới nơi hệ thống AI có thể nắm giữ các chuỗi lý luận dài và kết nối các ý tưởng trên các lĩnh vực xa nhau.
Tác động vượt ra ngoài toán học
OpenAI cho biết các khả năng tương tự cho phép đột phá toán học này sẽ sớm tăng tốc công việc trong sinh học, vật lý, kỹ thuật và y học. Công ty nhấn mạnh phán đoán của con người vẫn là thiết yếu — AI có thể tìm kiếm, đề xuất và xác minh, nhưng con người chọn những vấn đề quan trọng và diễn giải kết quả.