Chỉ một ngày sau khi OpenAI cung cấp mô hình mạnh mẽ nhất của mình, công ty cho biết hệ thống này đã đưa ra bằng chứng hoàn chỉnh về Giả thuyết bìa kép chu kỳ - một bài toán mở nổi tiếng trong lý thuyết đồ thị đã thách thức các nhà toán học trong gần nửa thế kỷ.

Nhà nghiên cứu Ethan Knight của OpenAI đã công bố kết quả vào ngày 10 tháng 7 năm 2026, đăng rằng GPT-5.6 Sol Ultra "đã đưa ra bằng chứng về Giả thuyết vỏ bọc kép chu kỳ 50 năm tuổi bằng cách sử dụng 64 tác nhân phụ chỉ trong vòng chưa đầy một giờ." Tuyên bố này nhanh chóng leo lên hàng đầu trên Hacker News, thu hút hàng trăm bình luận từ các nhà toán học và kỹ sư tranh luận xem liệu bằng chứng có đúng hay không.

Đối với bất kỳ ai theo dõi những phát triển AI mới nhất, kết quả này là một minh chứng ấn tượng về vị trí mà các mô hình tiên phong đang hướng tới - và một lời nhắc nhở rằng các tuyên bố toán học của chúng vẫn cần được kiểm tra theo cách truyền thống.

Phỏng đoán vỏ kép chu kỳ là gì?

Phỏng đoán nằm trong một nhánh toán học gọi là lý thuyết đồ thị. Nói một cách dễ hiểu, nó đặt ra một câu hỏi có vẻ đơn giản: liệu các cạnh của bất kỳ đồ thị "không cầu nối" nào - một đồ thị không có cạnh mà việc loại bỏ nó sẽ tách nó ra - có thể luôn được bao phủ bởi một tập hợp các chu trình sao cho mỗi cạnh xuất hiện chính xác hai lần không?

Bài toán này được đặt ra một cách độc lập bởi một số nhà toán học trong nhiều năm, trong đó có Paul Seymour năm 1979 và George Szekeres năm 1973, với nguồn gốc trước đó là công trình của W. T. Tutte, Alon Itai và Michael Rodeh. Mặc dù phát biểu đơn giản nhưng nó đã trở thành một trong những bài toán chưa được giải nổi tiếng nhất trong lĩnh vực này và một phần kết quả chỉ được biết đến với các lớp đồ thị đặc biệt.

Theo ghi chú bằng chứng mà OpenAI đã công bố, đối số này biến vấn đề thành đồ thị bậc ba không vòng lặp, sau đó dựa trên một kết quả cổ điển — định lý dòng chảy không-không trên nhóm F32 (tương đương với định lý 8 dòng của Tutte) — và một bước đại số tuyến tính quan trọng chuyển đổi nhãn cạnh thành cấu trúc cần thiết cho lớp phủ kép chu kỳ. Bài viết chỉ dài vài trang và đáng chú ý là "không có toán học nào được phát triển trong vòng 30 năm qua", như một nhà bình luận của Hacker News đã nhận xét.

GPT-5.6 Sol Ultra tiếp cận nó như thế nào

Điều khiến kết quả này khác biệt so với các câu trả lời chatbot thông thường là cách mô hình được triển khai. GPT-5.6 Sol Ultra chạy ở chế độ "đa tác nhân v2" của OpenAI, tạo ra một hệ thống gồm tới 64 tác nhân phụ hợp tác khám phá song song các chiến lược chứng minh khác nhau. OpenAI đã đưa ra lời nhắc đầy đủ cùng với bằng chứng, cung cấp cái nhìn hiếm hoi về các hướng dẫn được cung cấp cho hệ thống.

Lời nhắc đã hướng dẫn mô hình "sử dụng nhiều tác nhân v2 một cách linh hoạt và linh hoạt", để duy trì "danh mục các phương pháp tiếp cận đa dạng" và triển khai các tác nhân đối nghịch để kiểm tra bất kỳ bằng chứng ứng cử viên nào về những cạm bẫy phổ biến — chẳng hạn như các đường dẫn khép kín giả dạng chu trình hoặc lý luận vòng tròn tình cờ. Nó thậm chí còn yêu cầu hệ thống "dành ít nhất 8 giờ cho việc này trước khi nghĩ đến việc quay lại hoặc từ bỏ", mặc dù lần chạy cuối cùng được cho là đã hoàn thành sau chưa đầy một giờ.

Trong phần "Tuyên bố về việc sử dụng AI" của ghi chú bằng chứng, OpenAI nói rõ ràng: "Bằng chứng trong ghi chú này hoàn toàn là do GPT 5.6 Sol Ultra và phần ghi bằng Codex (với GPT 5.6 Sol)."

Không phải ai cũng bị thuyết phục

Cộng đồng toán học đã phản ứng với sự phấn khích xen lẫn sự thận trọng - và sự hoài nghi đó là đúng đắn. Kể từ khi xuất bản, bằng chứng vẫn chưa được xác minh chính thức trong một công cụ hỗ trợ chứng minh như Lean, cũng như chưa vượt qua được sự đánh giá ngang hàng truyền thống.

Trên Hacker News, một số nhà bình luận lưu ý rằng những bằng chứng ngắn gọn, tinh tế về những phỏng đoán nổi tiếng đáng được xem xét kỹ lưỡng một cách đặc biệt cẩn thận. Một người dùng viết: “Đó là một bằng chứng rất ngắn gọn, không sử dụng toán học nào được phát triển trong vòng 30 năm qua”. “Điều này không hẳn là sai, nhưng do thiếu cơ giới hóa trong Lean hoặc đánh giá ngang hàng phù hợp, tôi nghĩ còn quá sớm để đăng bài này.”

Những người khác chỉ ra rằng các thư viện chứng minh chính thức hàng đầu của lý thuyết đồ thị vẫn chưa đủ trưởng thành để kiểm tra các kết quả ở cấp độ nghiên cứu thuộc loại này, nghĩa là việc xác minh có thể cần đến từ các chuyên gia con người đọc từng dòng lập luận. Bản thân OpenAI đã đóng khung thông báo như một phần của mô hình rộng hơn: "Tính toán nhiều thời gian thử nghiệm hơn sẽ dẫn đến trí thông minh cao hơn", công ty cho biết, báo hiệu rằng cách tiếp cận đa tác nhân - không phải kết quả duy nhất này - mới là câu chuyện thực sự mà họ muốn kể.

Tại sao nó lại quan trọng

Ngay cả khi bằng chứng của Cycle Double Cover cuối cùng cần được chỉnh sửa, thì tập phim này vẫn báo hiệu một sự thay đổi có ý nghĩa về những gì các mô hình ngôn ngữ lớn có thể thực hiện trong toán học thuần túy. Các hệ thống Frontier AI trước đây đã tạo ra các kết quả nghiên cứu mới trong các lĩnh vực chuyên biệt – bao gồm các tuyên bố gần đây khác về các vấn đề đã được giải quyết trong hình học và tổ hợp – nhưng việc tấn công một phỏng đoán có tên tuổi đã tồn tại hàng thập kỷ bằng một nhóm tác nhân lý luận phối hợp đã nâng tầm đáng kể.

Đối với các nhà nghiên cứu, kết quả có được gấp đôi. Đầu tiên, công thức đa tác nhân - nhiều nỗ lực độc lập, sự trao đổi ý tưởng chéo và kiểm tra đối thủ - dường như là một khuôn mẫu thực sự hữu ích để giải quyết vấn đề khó khăn. Thứ hai, nút thắt trong quá trình xác minh giờ đây trực tiếp thuộc về con người: mô hình có thể tạo ra bằng chứng ứng viên nhanh hơn tốc độ cộng đồng có thể kiểm tra chúng.

Sự căng thẳng đó có thể sẽ xác định giai đoạn tiếp theo của toán học được hỗ trợ bởi AI. Như một người bình luận đã nói, nếu bằng chứng này đúng, "ai đó sắp bắt đầu một danh sách" các vấn đề tồn tại lâu dài khác để ném vào thế hệ mô hình tiếp theo.

Hiện tại, các nhà toán học sẽ đọc cẩn thận ghi chú dài ba trang — cầm bút chì — trong khi phần còn lại của ngành AI theo dõi để xem liệu nỗ lực kéo dài hàng giờ đồng hồ của GPT-5.6 có trở thành một phần của hồ sơ toán học vĩnh viễn hay không.

Đi trước AI

Để biết thêm về những đột phá của mô hình biên giới và phạm vi nghiên cứu AI, hãy truy cập trang chủ AI Buzz Wire.

Đọc thêm tin tức về AI →