GPT-5.6 giải mã bài toán toán học 50 năm chỉ trong 1 giờ nhờ điều phối 64 AI Agent

< img id="wx_img" src="https://www.qbitai.com/wp-content/uploads/imgs/qbitai-logo-1.png" width="400" height="400">

11/07/2026 13:30:11 Nguồn: QbitAI

Bí kíp điều khiển các mô hình ngôn ngữ lớn cấp thần thoại

henry đưa tin từ Aofeisi

QbitAI | Kênh chính thức QbitAI

Tôi thấy rằng, chỉ cần sau này cứ mở hé laptop ra là chẳng còn việc gì đến tay con người nữa.

Vừa mới đây, nhà nghiên cứu Ethan Knight của OpenAI đã thông báo:

GPT-5.6 vừa ra mắt hôm qua, chỉ trong chưa đầy một giờ đã hoàn thành việc chứng minh một giả thuyết lý thuyết đồ thị tồn tại suốt nửa thế kỷ qua.

Và bài toán này cũng không phải dạng vừa, đó chính là giả thuyết nổi tiếng: Giả thuyết phủ kép chu trình (Cycle Double Cover Conjecture).

Để giải quyết bài toán này, các nhà nghiên cứu đã đẩy phiên bản GPT-5.6 Sol mạnh nhất hiện nay lên mức Ultra; còn GPT thì tự phân tách thành 64 sub-agent (tác nhân con).

Cuối cùng, nó đã viết ra một tệp PDF dài ba trang, chứng minh hoàn tất, xong việc.

Sau khi công bố, Noam Brown (người đóng góp cốt lõi cho o1) – lúc này đang tham dự hội nghị ICML tại Hàn Quốc – cũng đã vượt đại dương để gửi lời chúc mừng ngay lập tức.

Anh cho biết, lần này khác với bài toán khoảng cách đơn vị Erdős trước đây, không cần dựa vào bất kỳ mô hình đặc biệt nội bộ nào, mà chỉ cần dùng GPT-5.6 Sol Ultra công khai là đã giải quyết được vấn đề.

Hơn nữa, GPT-5.6 Sol Ultra đã mở rộng đáng kể khả năng tính toán song song trong quá trình kiểm thử, giúp rút ngắn thời gian chứng minh vốn có thể mất cả ngày trời xuống chỉ còn trong một giờ nhờ 64 sub-agent.

Có thể nói, trong lĩnh vực toán học, trần nhà của các mô hình tiên phong vẫn đang tiếp tục được nâng cao. Và đa tác nhân (multi-agent) cũng có thể tăng tốc độ xử lý tác vụ cực kỳ nhanh chóng.

Tất nhiên, bạn có thể hỏi: "Thì sao chứ? Chẳng phải AI vẫn luôn chứng minh các bài toán toán học sao?"

Nhưng lần này thực sự khác biệt, OpenAI đã công khai toàn bộ prompt, và trong đó chứa đựng những kỹ thuật "cầm tay chỉ việc" để điều khiển các mô hình cấp thần thoại như GPT-5.6:

Sau đây, chúng ta hãy cùng xem qua.

Rốt cuộc đó là bài toán gì mà bị "hạ gục" trong một giờ?

Trước hết hãy nói về chính bài toán này.

Giả thuyết phủ kép chu trình thường được truy nguồn từ các nhà toán học như Tutte, Itai và Rodeh, George Szekeres, Paul Seymour... đề xuất lần lượt vào thế kỷ trước, và từ lâu đã được coi là một trong những bài toán mở quan trọng nhất trong lý thuyết đồ thị.

Câu hỏi của nó là:

Cho bạn một đồ thị gồm các đỉnh và các cạnh, liệu có thể tìm ra một tập hợp các "chu trình" nối đuôi nhau, sao cho mỗi cạnh trên đồ thị đều được các chu trình này đi qua đúng hai lần hay không?

Chúng ta hãy lấy hình trên làm ví dụ: các vòng tròn trắng là nút giao, các đường kẻ màu là con đường, A đến J là mười đỉnh.

Tuyến đường màu xanh lá cây ngoài cùng xuất phát từ A, lần lượt đi qua B, C, D, E, cuối cùng quay trở lại A, đây chính là một chu trình.

Nhưng chỉ có chu trình màu xanh lá cây này là chưa đủ, vì nó chỉ đi qua vài cạnh ngoài cùng của đồ thị, và mỗi cạnh hiện tại mới chỉ được phủ một lần.

Để thỏa mãn điều kiện phủ kép chu trình, cần phải thêm vào nhiều tuyến đường có thể quay trở lại điểm xuất phát.

Ví dụ, tuyến đường màu xanh dương cũng đi qua A đến B, sau đó rẽ vào bên trong đồ thị, cuối cùng quay trở lại A.

Như vậy, cạnh từ A đến B đã được phủ hai lần: một lần bởi màu xanh lá cây, một lần bởi màu xanh dương.

Các cạnh khác cũng phải được bổ sung bằng phương pháp tương tự. Cuối cùng, bất kể bạn chọn cạnh nào trong đồ thị, nó đều phải được đi qua bởi đúng hai chu trình.

Các chu trình này có thể chồng chéo lên nhau hoặc chia sẻ nhiều cạnh; chúng không cần phải là chu trình ngắn nhất, ngoài cùng hay quy củ nhất trong đồ thị. Yêu cầu duy nhất là:

Tổng số lần xuất hiện của mỗi cạnh trong tất cả các chu trình phải bằng đúng hai.

Ngoài ra, cần bổ sung một điều kiện then chốt: Đồ thị này phải là đồ thị không có cầu (bridge-less graph).

Cái gọi là "cầu" chính là một cạnh mà nếu xóa đi, toàn bộ đồ thị sẽ bị chia cắt.

Ví dụ, nếu chúng ta xóa cạnh A—F ở trên, lộ trình vẫn có thể đi theo A—B—G—I—F để đến F từ một con đường khác, toàn bộ đồ thị sẽ không vì thế mà bị đứt đoạn.