Ngày 10/7/2026, OpenAI thông báo GPT-5.6 Sol Ultra đã đưa ra lời giải đầy đủ cho Cycle Double Cover Conjecture — bài toán đồ thị nổi tiếng chưa có lời giải suốt 50 năm. Phiên bản Sol Ultra triển khai 64 subagent song song, mỗi agent đi theo một hướng tiếp cận khác nhau, hoàn tất trong chưa đầy 1 giờ. OpenAI công khai cả PDF lời giải lẫn prompt 700 chữ điều phối toàn bộ quá trình.
GPT-5.6 Sol Ultra Đã Giải Bài Toán Như Thế Nào?
Thay vì một model giải đơn lẻ, Sol Ultra khởi tạo 64 subagent độc lập. Mỗi agent nhận một chiến lược khác nhau: đại số tuyến tính, lý thuyết flow, quy nạp cấu trúc. Các vòng đầu giữ đa dạng tiếp cận, vòng sau hội tụ và đánh giá chéo. Adversarial agent kiểm tra từng lỗi điển hình như nhận diện sai chu trình hay tạo cầu mới trong đồ thị. Chi phí ước tính cho lần chạy này dao động từ 275 đến 13.000 USD theo tính toán của cộng đồng Hacker News.
Cycle Double Cover Conjecture Khó Ở Chỗ Nào?
CDC Conjecture được đề xuất độc lập bởi Szekeres (1973) và Seymour (1979). Câu hỏi nghe rất đơn giản: trong đồ thị không có cầu, liệu có tập hợp các chu trình sao cho mỗi cạnh xuất hiện đúng 2 lần? Dễ phát biểu nhưng cực kỳ khó chứng minh. Bài toán nằm trong danh sách unsolved problems của toán học trên Wikipedia. Suốt 50 năm đã có nhiều “bằng chứng” đăng trên arXiv nhưng đều bị rút lại sau khi kiểm tra.
Toán Học Giới Phản Ứng Ra Sao?
Thomas Bloom, nhà toán học tại University of Manchester, đã review công khai và đánh giá lời giải là “rất đẹp” và “cơ bản” — nghĩa là không cần lý thuyết mới, chỉ kết hợp công cụ đã biết. Tuy nhiên, ông chỉ ra rằng proof thiếu trích dẫn, đặc biệt bỏ qua bài báo 1983 của Bermond, Jackson, và Jaeger. Đây là vấn đề chung của AI-generated proofs: vay mượn ý tưởng từ tài liệu mà không ghi nguồn properly.
Tại Sao Prompt 700 Chữ Mới Là Phần Quan Trọng Nhất?
Prompt architecture mới là bài học chuyển nhượng thực sự. OpenAI công khai toàn bộ prompt với các kỹ thuật: yêu cầu AI giả định lời giải tồn tại (chặn câu trả lời “chưa giải được”), cấm tìm internet, 64 agent chia phe không biết tiến triển của nhau để đảm bảo suy nghĩ độc lập, adversarial agent kiểm tra lỗi, và yêu cầu chạy tối thiểu 8 giờ trước khi bỏ cuộc. Model hoàn thành trong 1 giờ.
So Sánh Sol Ultra Với Claude Fable 5 Và Grok 4.5
GPT-5.6 Sol Ultra cho thấy thế mạnh riêng ở structured reasoning kéo dài. Trong khi Claude dẫn đầu SWE-bench Pro về coding và Grok 4.5 nổi bật về tiết kiệm token (4.2x ít hơn Opus 4.8), Sol Ultra chứng minh khả năng orchestrate nhiều agent song song là lợi thế cạnh tranh thực sự. Khác với bài ra mắt GPT-5.6 tập trung vào giá và benchmark, lần này là demonstration khả năng giải bài toán hóc búa.
Chi Phí Chạy 64 Agent Song Song Còn Đắt Không?
Với giá Sol Ultra ở mức 5 USD/1M input và 30 USD/1M output, chi phí chạy 64 agent cho bài toán phức tạp dao động từ vài trăm đến vài nghìn USD. Mức này nằm trong tầm tay enterprise team, không còn là đặc quyền của viện nghiên cứu. So với Anthropic pricing cho Claude ở mức tương đương, cuộc đèổi về giá và capability đang giật cuộn.
AI Có Thay Thế Toán Học Gia Không?
Bloom so sánh kết quả này với unit distance conjecture mà OpenAI cũng giải gần đây: cả hai đều “dễ hơn dự kiến” — không cần lý thuyết mới. Ông dự đoán AI sẽ crack thêm nhiều conjecture tương tự, những bài toán mà lời giải chỉ cần lý thuyết hiện có cộng với sự kiên trì. Nhưng đây chỉ là một tỷ lệ nhỏ của các bài toán mở. Phần lớn vẫn cần ý tưởng đột phá mà AI chưa-show được khả năng.
Lời Giải Này Đã Được Chấp Nhận Chưa?
Chưa. CDC Conjecture đã có nhiều claimed proofs bị rút lại trong quá khứ. Đặc biệt, một lời giải “đủ dễ để tìm ra từ thập niên 1980” nhưng không ai tìm được warrant sự xem xét cẩn thận. Quá trình peer review dự kiến kéo dài vài tuần đến vài tháng. Mình sẽ theo dõi đánh giá của cộng đồng toán học. Nếu lời giải đứng vững, đây là cột mốc về khả năng suy luận có cấu trúc của AI. Nếu không, nó vẫn là demonstration ấn tượng về multi-agent orchestration.
Bài Học Cho Doanh Nghiệp
Nếu 64 AI agent có thể giải bài toán 50 năm trong 1 giờ với chi phí vài nghìn USD, thì những bài toán phức tạp trong ngành của bạn cũng đáng để thử. Prompt architecture mà OpenAI công khai — dynamic agent allocation, diversity enforcement, adversarial review — applicable cho bất kỳ task multi-step nào: phân tích dữ liệu, audit code, tối ưu quy trình. Không cần viện nghiên cứu, chỉ cần API key và một prompt tốt.
