Google DeepMind Giải Hàng Chục Bài Toán Mở, Nghiên Cứu Được Thẩm Định Đồng Cấp

AlphaProof Nexus giải được 9 trong số 353 bài toán mở của Erdős. Trong đó có 2 bài chưa có lời giải suốt 56 năm, và nhóm đã đăng các lời giải lên mạng trước khi bài nghiên cứu công bố.

Ngoài ra, model này còn chứng minh được 44 giả thuyết từ cơ sở dữ liệu chuỗi số nguyên OEIS. Nó cũng giải một câu hỏi mở trong hình học đại số và cải thiện một cận đã biết trong tối ưu min-max, kỹ thuật được dùng để huấn luyện một số model AI.

AlphaProof Nexus được xây quanh Gemini 3.1 Pro. Model này soạn thảo và sửa lại các chứng minh bằng ngôn ngữ hình thức Lean.

Lean kiểm tra từng bản thảo sau mỗi lần chỉnh sửa, và các thông báo lỗi dẫn đường cho lượt thử tiếp theo. Với các bài toán con khó hơn, nó có thể gọi AlphaProof, một công cụ chứng minh chuyên dụng.

Ngay cả khi không dùng AlphaProof, nó vẫn giải được 9 bài toán của Erdős. Nghiên cứu này xuất hiện giữa lúc có tranh luận gay gắt về AI trong toán học.

OpenAI gần đây đã đăng hàng trăm chứng minh AI lên GitHub thay vì nộp cho các tạp chí. Association for Human Mathematics, do Terence Tao dẫn đầu, đã kêu gọi tẩy chay, còn DeepMind thì đưa công trình của mình qua thẩm định đồng cấp.