循環雙覆蓋猜想（Cycle Double Cover Conjecture，CDC）是圖論核心開放問題，由數學家 George Szekeres（1973）與 Paul Seymour（1979）分別獨立提出。用最直白的語言：

該猜想難在何處？以下五點是理解此次 AI 突破分量的關鍵：

2026 年 7 月 9 日，OpenAI 正式發布 GPT-5.6 系列三檔模型，Sol 在 Artificial Analysis Coding Agent Index 上以 80 分刷新紀錄，超過 Anthropic Fable 5（77.2 分），且 token 不到一半、耗時減半、成本約三分之一。

GPT-5.6 新增兩種推理模式：max 給予單模型最充裕思考時間；ultra 則自動調度多個子智慧體並行工作，各自探索不同路徑後彙總——整個編排在一次 API 呼叫內部完成，而非傳統多 Agent 框架的外部編排。

OpenAI 公開了完整 700 字 Prompt（可在其 CDN 下載）。令人驚訝的是：僅約五分之一描述數學問題本身，剩餘五分之四全部在優化模型行為策略。

系統預留 8 小時算力預算，實際不到 1 小時即產出證明。最終證明僅 3 頁紙，路線如下：

1. 歸約：將一般無橋圖 CDC 化歸為三次圖（Cubic Graph）情形（標準文獻做法）

2. 利用 8-流定理（8-flow theorem）：
   對三次圖，用 Tutte 結果，將邊用 Γ = F₃² 的非零元素標記，
   使每個頂點處三條邊標記之和為零向量

3. 關鍵歸約（線性代數）：
   將「加法標記」轉化為「集合標記」——每條邊標記為 Γ 中二元素子集，
   使每個頂點處 Γ 的每個元素恰好出現零次或兩次（初等線性代數）

4. 結論：上述構造直接給出循環雙覆蓋（每條邊恰好被覆蓋兩次）

Bloom 同時指出：證明沒有引用任何文獻——核心思路可追溯至 1983 年 Bermond、Jackson 和 Jaeger 的經典論文，這是 AI 生成數學論文的普遍問題。

與 CDC 證明同日，OpenAI 披露 Sol 自主完成 Luna 後訓練：研究員發出相當模糊的 Prompt（找訓練設定、選 GPU、啟動腳本、確認執行），Sol 透過 Codex 平台自主完成全流程。Jason Liu 補充：Sol 複用了自身後訓練設定框架，創新在於遷移適配到更小的 Luna——人類研究員約需兩名、兩週。

六步跟進 CDC 證明與相關資源：

數學社群五重質疑（「等等，先給我 Lean 程式碼」）：

樂觀派（如 r/singularity）認為：64 子智慧體並行攻堅的架構本身才是更值得關注的訊號——無論具體證明是否成立，這種 playbook 可泛化到更多開放難題。

OpenAI 在證明文末明確標註：「本證明完全由 GPT-5.6 Sol Ultra 完成」——這開啟了 AI 是否可「著作權」數學定理的法律與倫理討論。

三條可引用資料：

參考資料：

攤開替代方案：僅在個人 Mac 上跑 Ultra 模式長工作階段與 Lean 編譯 受休眠與記憶體波動影響，多智慧體 API 呼叫易中斷；完全依賴雲端 API 無本地驗證環境 則難以並行跑 cdc-lean 與 Agent 編排腳本；虛擬機跑 macOS 違反 EULA 且 Xcode 工具鏈受限。對需要 iOS CI/CD、AI Agent 7×24 自動化與穩定算力環境的團隊，KVMNODE 獨佔 Mac Mini M4 雲端租用通常是更優解：Apple Silicon 統一記憶體、開放 sudo、按天/週/月彈性下單，專用伺服器與穩定頻寬保障工作流不因裝置休眠而中斷。詳情見 定價頁、說明中心，或 直接下單。

資料截至：2026 年 7 月 13 日 · 證明驗證狀態與模型能力可能隨時更新