2026/07/16
圖文引用自：www.koc.com.tw
AI 最大的意義之一可能是幫助人類解開各種難解的數學問題與猜想，OpenAI 於近日宣布，旗下最新模型 GPT-5.6 Sol Ultra 利用 64 個子智慧體（subagents）並行運作，在不到一小時內完成了「循環雙覆蓋猜想」（Cycle Double Cover Conjecture）的完整證明。這個圖論領域的難題自 1973 年提出以來，已懸而未決超過半個世紀。OpenAI 研究員 Ethan Knight 在 X 平台上宣布此成果，並同時公開了證明全文與用於生成證明的提示詞（Prompt）PDF。不過，這份證明目前尚未經過正式同行評審，數學界對此保持謹慎態度。
什麼是循環雙覆蓋猜想
循環雙覆蓋猜想由數學家 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 與正式發表經過同行評審的數學論文，是完全不同的兩件事。圖論專家預計將在未來數天至數週內，對證明的每一個推導步驟進行嚴格審查。…
