OpenAI: GPT-5.6 Sol Ultra chứng minh bài toán lý thuyết đồ thị 50 năm trong 1 giờ

Odaily tin tức Nhà nghiên cứu của OpenAI, Ethan Knight, vào ngày 12 trên nền tảng X cho biết, GPT-5.6 Sol Ultra đã tạo ra bài báo chứng minh và hướng dẫn cho vấn đề chưa có lời giải nổi tiếng trong lý thuyết đồ thị "Giả thuyết phủ chu trình đôi". Mô hình này, với cấu hình tối đa 64 tác nhân con song song, không sử dụng tìm kiếm internet và hoàn thành việc tạo ra kết quả trong khoảng 1 giờ.

Bài báo do OpenAI công bố có tổng cộng 3 trang, trước tiên quy bài toán về đồ thị chính quy bậc ba, sau đó sử dụng định lý 8-dòng và nhãn GF(3), và xây dựng cấu trúc mà mỗi cạnh nằm chính xác trong hai chu trình bằng phương pháp đại số tuyến tính. Kết quả này vẫn chưa được công bố trên tạp chí học thuật, chưa qua đánh giá đồng cấp, cũng chưa được xác minh thông qua các hệ thống xác minh hình thức như Lean hoặc Coq. Nhà toán học Thomas Bloom từ Đại học Manchester, Vương quốc Anh, đánh giá chứng minh này "rất xuất sắc", nhưng chỉ ra rằng nó thiếu trích dẫn tài liệu tham khảo. (ZDNet Korea Semiconductor).