AI 最大的意義之一可能是幫助人類解開各種難解的數學問題與猜想，OpenAI 於近日宣布，旗下最新模型 GPT-5.6 Sol Ultra 利用 64 個子智慧體（subagents）並行運作，在不到一小時內完成了「循環雙覆蓋猜想」（Cycle Double Cover Conjecture）的完整證明。這個圖論領域的難題自 1973 年提出以來，已懸而未決超過半個世紀。OpenAI 研究員 Ethan Knight 在 X 平台上宣布此成果，並同時公開了證明全文與用於生成證明的提示詞（Prompt）PDF。不過，這份證明目前尚未經過正式同行評審，數學界對此保持謹慎態度。
Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we’re sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We’re sharing the prompt and proof below. We’re excited to see what you all do with…
— Ethan Knight (@__eknight__) July 10, 2026
什麼是循環雙覆蓋猜想
循環雙覆蓋猜想由數學家 George Szekeres 於 1973 年、Paul Seymour 於 1979 年分別獨立提出。這個猜想的核心問題是：對於任意無橋圖（bridgeless graph，即移除任何一條邊都不會讓圖斷成兩塊的圖），是否都存在一組循環（cycle），使得圖中的每一條邊都恰好出現在兩個循環中？
用更直白的方式來說：在一張由點和線組成的網路中，能不能找到一組環狀路徑，讓每條線剛好被走過兩次？這個問題看似簡單，卻困擾了數學界超過 50 年。
過去數十年間，數學家們針對特殊情況取得了部分進展，例如平面圖、3 邊可著色三次圖、不含 Petersen 細分的圖等，但一般情況始終無法完全解決。Open Problem Garden 將此猜想列為圖論領域最重要的未解難題之一。
證明的關鍵步驟
根據 OpenAI 公布的內容，GPT-5.6 Sol Ultra 的證明主要經過以下幾個步驟：
- 將原猜想歸約為三次圖（Cubic Graph）問題
- 利用 8-流定理（8-flow theorem）
- 透過 GF(3)（三元有限域）上的線性代數構造邊標記（Edge Labeling）
- 最終證明每條邊都能恰好屬於兩個環
整份證明只有三頁，採用的數學工具大多是幾十年前就已存在的經典方法。英國曼徹斯特大學數學家 Thomas Bloom 是最早公開評價這份證明的學者，他認為這是一個「非常漂亮的證明」，簡潔、基礎、使用的方法並不複雜，「如果當年有人想到，20 世紀 80 年代就有可能完成這個證明」。
64 個子智慧體如何協作
這次證明最引人注目的不只是結果，還有背後的提示詞設計。OpenAI 公布的提示詞要求模型：
- 最多同時調用 64 個並行子智慧體
- 動態管理各智慧體的工作內容，不設固定角色
- 早期階段保持研究路線多樣性，讓不同智慧體分別嘗試不同的數學表示方法、代數思路以及結構歸納
- 安排專門的「對抗智慧體」（Adversarial Agents），負責尋找漏洞、邊界情況以及潛在錯誤
- 禁止聯網搜尋資料
- 拒絕僅證明特殊情況或不完整證明
- 必須通過對抗式驗證，檢查常見數學錯誤
提示詞明確要求模型至少運算 8 小時才能放棄，但最終僅耗時約 1 小時便完成。人類數學家通常會嘗試一種自然的方法，失敗後很可能就放棄了，但 AI 不會因此氣餒，會持續嘗試各種微小變化直到找到可行路徑。
數學界的反應與疑慮
儘管 Bloom 給予正面評價，他也指出了幾個明顯問題。首先，整篇證明沒有引用任何已有文獻。1983 年 Bermond、Jackson 和 Jaeger 的經典論文對這個領域有重要貢獻，理應被引用，卻完全沒有出現。Bloom 認為這是 AI 生成數學論文的通病：使用了文獻中的想法和證明策略，卻沒有適當引用。
更根本的問題是，這份證明尚未經過正式同行評審。循環雙覆蓋猜想過去已經出現過多次所謂的「證明」，arXiv 上也有不少宣稱完成證明的論文，後來都被發現存在漏洞，部分甚至最終撤稿。此外，這份證明也沒有使用 Lean 等形式化證明工具進行機器驗證。業內人士指出，目前圖論相關的形式化數學庫仍不足以支持如此複雜的研究級定理。
OpenAI 將 PDF 上傳至公司 CDN 與正式發表經過同行評審的數學論文，是完全不同的兩件事。圖論專家預計將在未來數天至數週內，對證明的每一個推導步驟進行嚴格審查。
推理成本與技術細節
根據業內估算，完成這次推理所消耗的計算資源成本約為：
- 按 OpenAI 官方 Sol 定價：約 275 至 485 美元（約新台幣 8,900 至 15,700 元）
- 若採用 Cerebras 平台執行：最高可達 1.3 萬美元（約新台幣 42 萬元）
系統原本預留了 8 小時的計算時間，但最終僅耗時約 1 小時。證明的撰寫由 Codex 搭配 GPT-5.6 Sol 協助完成，數學內容則完全歸功於 GPT-5.6 Sol Ultra。
AI 數學能力的意義
如果最終通過驗證，這將意味著大型語言模型首次獨立解決了一個被列入維基百科「未解決數學問題」列表的重要難題。此前 AI 在數學領域的重要成果，例如 DeepMind 在帽子集合問題（Cap Set Problem）上的研究、AI 在紐結理論（Knot Theory）方面的突破，都屬於人類與 AI 協同完成，而非 AI 獨立完成完整證明。
Bloom 將這次結果與 OpenAI 近期解決的單位距離猜想相提並論，兩者都是「結果比預期簡單得多」的開放難題，不需要全新的數學理論，只需要現有的成熟工具加上大量的耐心和堅持。他預期 AI 系統將持續破解更多類似的猜想，「那些只需要現有成熟理論加上大量耐心和信念的問題」，但這「可能只佔未解問題的一小部分，而且我們無法事先知道是哪些」。
這也引發了一個根本性的討論：AI 是在「重新組合」已有的知識，還是真的在「創造」新的數學？Bloom 傾向認為是前者，但無論如何，AI 展現出的持續嘗試能力，確實超越了人類數學家在面對失敗時的耐受極限。
結語
GPT-5.6 Sol Ultra 對循環雙覆蓋猜想的證明，標誌著 AI 在純數學推理領域的一個重要里程碑。無論這份證明最終是否通過同行評審，它已經展示了多智慧體協作系統在解決長期未解數學難題上的潛力。目前數學界正對證明進行嚴格審查，預計數週內會有初步結果。在此之前，這份證明的狀態是「值得關注但尚未確認」。