GPT-5.6 Chỉ Trong 1 Giờ Phá Vỡ Bài Toán Toán Học 50 Năm, 64 AI Cướp Được Vương Miện Lý Thuyết Đồ Thị
Ngày 11/7, OpenAI công bố GPT-5.6 Sol Ultra đã chứng minh thành công "Giả thuyết Phủ Kép Chu trình" - bài toán tồn tại suốt 50 năm trong lý thuyết đồ thị, chỉ trong chưa đầy một giờ.
Giả thuyết này, do nhiều nhà toán học huyền thoại đề xuất, khẳng định mọi đồ thị vô hướng, hữu hạn, không có cầu đều tồn tại một tập hợp các chu trình sao cho mỗi cạnh được bao phủ đúng hai lần. Dù đã có nhiều kết quả một phần, chứng minh tổng quát vẫn là thách thức.
GPT-5.6 Sol Ultra đã giải quyết vấn đề bằng một hệ thống gồm 64 tác nhân thông minh chạy song song, mô phỏng một đội nghiên cứu. Hệ thống này được lập trình để tránh các lỗi thường gặp: khám phá nhiều hướng tiếp cận khác nhau ngay từ đầu, cấm bắt chước ý tưởng phổ biến, và có cơ chế "kiểm tra lỗi" chuyên nghiên cử để phê bình, tấn công mọi chứng minh ứng viên. Chỉ những chứng minh nào vượt qua được sự kiểm tra khắt khe mới được chuyển sang vòng tiếp theo.
Chiến lược chứng minh của AI bao gồm các bước chính: 1) Thu gọn bài toán về đồ thị lập phương; 2) Vận dụng định lý "8-dòng" của Tutte để gán nhãn véctơ cho các cạnh; 3) Xây dựng Bổ đề 2.1 về việc gán nhãn tập hợp hai phần tử; và 4) Chuyển đổi vấn đề thành một hệ phương trình đại số tuyến tính (Bổ đề 2.2), rồi chứng minh hệ luôn có nghiệm.
Noam Brown của OpenAI cho biết đột phá này dựa trên việc mở rộng "Tính toán trong Thời gian Kiểm tra song song" (Parallel Test-Time Computation), cho phép tăng cường suy luận thông qua xử lý đồng thời thay vì kéo dài thời gian suy nghĩ tuần tự. Điều này biến những nhiệm vụ cần suy luận lâu dài trở nên khả thi.
Sự kiện gây chấn động giới AI và toán học, với nhiều ý kiến cho rằng khả năng suy luận logic trừu tượng cấp cao của AI đã vượt con người trong lĩnh vực này, mở ra tiềm năng ứng dụng để giải quyết những vấn đề khoa học phức tạp khác.
marsbit07/15 08:01
