編按：本文綜合整理自 OpenAI 官方 PDF〈A Proof of the Cycle Double Cover Conjecture〉、OpenAI 釋出的完整 Prompt、Hacker News 418 分熱帖、Noam Brown（OpenAI Reasoning Lead）LinkedIn 公告、Jaeger 對 CDC 的經典 survey（UC Davis 全文）、Wikipedia〈List of unsolved problems in mathematics〉，並加入 Siami 編輯部觀點與圖論社群爭議論點。
OpenAI 在 2026 年 7 月 10 日丟下一份三頁 PDF，主張旗下旗艦推理模型 GPT-5.6 Sol Ultra 用 64 個 sub-agent 平行搜索、總耗時不到一小時，證明了由 Tutte 在 1970 年代提出、開放至今已 50 年的圖論猜想：Cycle Double Cover Conjecture（CDC）。OpenAI 官方 PDF 直接寫道：「The proof in this note is entirely due to GPT 5.6 Sol Ultra and the writeup with Codex（with GPT 5.6 Sol）」——也就是說，這份證明從第一行到最後一行都不是人類寫的，它只是被 Codex（GPT-5.6 Sol 驅動）排版成 LaTeX 而已。在 Hacker News，這件事 12 小時內衝到 418 分、325 則留言，是過去一週數學與 AI 兩個圈子的共同地震。
CDC 究竟在問什麼
Cycle Double Cover Conjecture 主張：每一個無橋（bridgeless）的有限無向圖，都存在一組 cycles，使得每一條邊恰好被覆蓋兩次。
- 這個看似簡潔的陳述由 Tutte、Itai 與 Rodeh、Szekeres、Seymour 各自獨立提出，橫跨 1970–80 年代。
- 過去 50 年只解開幾個特殊家族：平面圖（用區塊的 facial boundary cycle）、3-edge-colorable cubic graph（直接拿三組配對）、不含 Petersen 細分的 bridgeless 圖（Alspach-Goddyn-Zhang）。
- 「最小反例」必須是 snark（不可 3-edge-colorable 的 cubic graph）——這是 Jaeger 在 survey 裡指出的關鍵觀察。
- 一旦 CDC 成立，圖論裡 Tutte 的 5-flow conjecture、Ringel’s 強等價猜想都會被推進一大步。所以它是圖論社群第二重要的未解難題。
「A cycle double cover of a graph is a multiset of cycles in which every edge occurs exactly twice.」 —— OpenAI PDF §1
如果這份證明經過學界同儕審查成立，它會是 AI 第一次獨立完成一個在人類數學社群裡掛了半世紀的開放問題——之前的所有「AI 數學突破」不過是把教科書習題或 IMO 等級競賽解得快一點。
GPT-5.6 Sol Ultra 做了什麼
OpenAI 的 PDF 全文只有 3 頁，分三段：
- 化簡至 cubic graphs。沿用 Jaeger [3, Proposition 4] 的標準做法，把 loopless bridgeless 圖先降到無自環的 cubic multigraph；同時說明最小反例必為 snark。
- 進入 Γ-flow 構造。取 $\Gamma = \mathbb{F}_3^2$。由 Kilpatrick 與 Jaeger 各自獨立證明的結果，每個 bridgeless 圖存在 nowhere-zero $\Gamma$-flow，相當於 Tutte 群流定理下的 nowhere-zero 8-flow（Seymour 的 6-flow theorem 更強但這裡不需要）。
- Lemma 2.1 + Lemma 2.2 的線性代數收尾。把 $\Gamma$-flow 轉成一組 $P_e \subseteq \Gamma$ 的 two-element 集合，讓「每個元素在每個頂點邊集出現 0 或 2 次」，再證明這個 linear system 在 cubic 圖上必有解。最後一段是「elementary linear algebra argument」——三行就寫完。
關鍵是 Lemma 2.2 的可解性論證：作者寫成一個 $\Gamma^{V(G)} \oplus \mathbb{F}_2^{E(G)}$ 上的線性映射 $L$，要證 kernel 涵蓋整個右側值域——也就是一個 rank-nullity 的標準應用。OpenAI 在 Lemma 2.2 的開頭直接寫「The proof proceeds by first using that it suffices (as is standard) to consider cubic graphs」，把整段化簡到讀者只需要讀 cubics 即可。
「The proof in this note is entirely due to GPT 5.6 Sol Ultra and the writeup with Codex（with GPT 5.6 Sol）.」 —— OpenAI PDF §1, Statement of AI use
OpenAI 同時釋出 cdc_prompt.pdf——這份 prompt 工程文件長 123KB，包含完整的 system prompt 與 64 個 sub-agent 的分工劇本。HN 上的 mNovak 觀察到 prompt 裡用了相當篇幅教模型「拒絕 status report、拒絕含糊樂觀、別把未證的全局相容性當 routine」——這些都是過往 LLM 在長鏈推理中最容易掉進的坑。
數據解讀與質疑
這份 PDF 公開不到一天，圖論學界還沒有正式同儕審查結論。但社群裡已經出現三條主要的擔憂與解讀：
- 證明過於乾淨。HN 上的 perlgame 直接說「proof is suspiciously clean」——3 頁包含 statement + Lemma 2.1 + Lemma 2.2，比 1990 年代部分結果的 45 頁證明短了一個數量級。這可能是因為 GPT-5.6 找到了一個本來就精簡的證法路徑，也可能是它省略了 snark 部分的反證，但因為 CDC 沒有反例而沒被測出來。
- 與 1990 年代 5-cycle cover 混淆。Hacker News 上有留言說 CDC「1990s 就被解掉了」——那是錯的，被解的是 5-cycle cover（每邊被 5 個 cycle 包覆），不是 2-cycle cover。OpenAI 這份處理的是原版 CDC，與 5-CDC 並非同個命題。Jaeger 的 survey 明確列出 CDC「still open and still motivating research in graph theory today」（2024 年 Parabola 期刊重述）。
- sub-agent 的 64 是黑盒。Prompt PDF 顯示 64 個 sub-agent 平行搜索，但 OpenAI 沒有公開哪些 sub-agent 負責探索、哪些負責驗證、哪些負責剪枝——也就是說整個 search tree 仍然是閉源的。這對「AI 真的解了一個數學問題」的人來說是優勢，對於想 reproduce 的人則是黑盒。
還有一個不在 HN 主流討論、但學界會盯著看的點：OpenAI 沒有列出 human verifier 的身份。若這個證明真的成立，理論上任何熟悉 Tutte / Seymour 一派圖論的人都可以在週末內用 SAGE 或 Mathematica 跑 Lemma 2.2 的核心 kernel 計算——這正是接下來一週值得追蹤的關鍵里程碑。
為什麼這件事重要
這不是「AI 又贏了一場數學競賽」的故事，是「AI 在未經人類拆題、未經形式驗證輔助下，自己把 50 年開放猜想寫成完整證明」的故事，門檻跨了三道：
- 能力面的躍遷。IMO、Putnam 等競賽有標準答案，最多是「答得快」；開放猜想沒有 ground truth，模型必須在沒有 loss signal 的情況下探索。GPT-5.6 Sol Ultra 做到這件事，象徵 reasoning 模型從「學習已知解法」升級到「在未知地圖上自己導航」。
- 驗證鏈的新模式。以前 AI 的數學成果需要 Lean / Coq 等形式證明助理重新驗證，才能讓學界買單。這次 OpenAI 直接給人類可讀的 PDF，把驗證外包給圖論學者——這對 OpenAI 比較冒險（若證錯會很難看），但若成立，代表 2026 年的 LLM 已經達到「可以信任模型輸出的可讀證明」的水位，遠超 2024 時業界對 hallucination 的恐懼。
- 產業面即時效應。從 2026-07-07 釋出 GPT-5.6 Sol，到 2026-07-10 證明 CDC，中間只隔 3 天——這代表 OpenAI 把 GPT-5.6 當成「研究基建」在 run，而不只是 chat UI。競爭對手 Anthropic、Google DeepMind、xAI 在接下來一週會被迫回應，否則他們的 reasoning 模型定位會被壓縮。
一句話：CDC 是不是真的被解決，圖論學者週末會有答案；但**「AI 已經可以獨立寫出 3 頁人類可讀的開放問題證明」這個事實，無論結論對錯，都已經改變了 AI 與數學的關係。**
接下來值得追蹤的事有三件：Seymour 或他那代圖論學者是否公開表態；OpenAI 是否放出 reproduce 用的 minimal Lean 形式化版本；以及 Anthropic Claude Fable 5 與 Google Gemini 2.5 Pro 是否會在同週發布對應 benchmark 把 CDC 的 64 sub-agent 搜法重新跑一遍——後者的反應速度會決定 AI 推理領域下半年的競爭主軸。
同一週：其他 AI 推理大事
CDC 不是本週唯一的 AI 推理新聞：
- GPT-5.6 Sol Ultra 領跑 Terminal-Bench 2.1（91.9% ultra），成本只有 Claude Fable 5 的一半（TechTimes 7/7 報導）。
- Artificial Analysis Intelligence Index：GPT-5.6 Sol 在 cost-adjusted intelligence 排第二，僅次 Claude Fable 5，三分之一成本。
- Claude Fable 5 vs GPT-5.6 Sol 對決：Lenny’s Newsletter 完整跑了一輪 vibe benchmark，結論是兩者在程式任務上五五開，Fable 5 在 reasoning 上仍略勝。
- Apple 對 OpenAI 提告：指控 ex-employees 偷 trade secrets（本週另一個 626 分 HN 熱帖）。
這些訊號疊在一起：OpenAI 不只是發新模型，他們已經把 GPT-5.6 當作研究基建在 run——三個月內先搶 Terminal-Bench、再搶 math benchmark、最後用 Apple 的訴訟補一刀企業 user 端的 rationale。這是週一 release、週二 benchmark、週三 math paper 的 cadence，跟 Google 2024 的「先發 paper 再接 enterprise」順序幾乎相反，也更接近 OpenAI 2023 年靠 ChatGPT 一戰定江山的策略。
網友熱門留言 (5)