循環雙覆蓋猜想是什麼？為什麼難證 50 年？
循環雙覆蓋猜想（Cycle Double Cover Conjecture，CDC）是圖論核心開放問題，由 George Szekeres（1973）與 Paul Seymour（1979）分別獨立提出。白話來說：
對於任意無橋圖（bridgeless graph，即不存在刪除某條邊就使圖斷開的邊），是否總能找到一組「環」（cycle），使圖中每條邊恰好出現在兩個環中？
結構複雜度：無橋圖從簡單三次圖到任意複雜網路，通用證明須涵蓋無限多種情形。
理論關聯：與強嵌入猜想、整數流理論（Nowhere-zero Flow）、Fulkerson 猜想深度交織。
失敗先例：arXiv 上多次出現宣稱證明的論文，經專家審查後撤稿，數學界高度謹慎。
已證特例：平面圖（已證）；3-邊可著色三次圖（已證）；不含 Petersen 子圖細分的無橋圖（Alspach, Goddyn, Zhang，已證）。
一般情形：任意無橋圖的 CDC 懸而未決逾 50 年，直至此次 AI 產生候選證明。
GPT-5.6 Sol Ultra 是什麼？64 子智慧型代理如何運作？
2026 年 7 月 9 日，OpenAI 正式發布 GPT-5.6 系列三檔模型：
| 模型 | 定位 | 關鍵特點 |
|---|---|---|
| Sol | 旗艦 | 最強推理／程式設計／科研；唯一支援 Ultra 模式；Coding Agent Index 80 分，超 Fable 5（77.2），Token 不到一半、耗時減半、成本約三分之一 |
| Terra | 均衡 | 媲美 GPT-5.5，成本降低 50% |
| Luna | 輕量 | 速度最快、成本最低 |
GPT-5.6 新增兩種推理模式：max 給予單模型最充裕思考時間；ultra 則自動排程多個子智慧型代理並行工作，各自探索不同路徑後彙總——整個編排在一次 API 呼叫內部完成，而非外部多 Agent 框架。預設 Ultra 設定為 4 個子智慧型代理；CDC 證明任務擴展至 64 個。
| 維度 | max 模式 | ultra 模式（CDC 任務） |
|---|---|---|
| 架構 | 單模型深度思考 | 多子智慧型代理並行 + 動態編排 |
| 子代理數 | 1 | 預設 4 → CDC 擴展 64 |
| 適用場景 | 單路徑深度推理 | 開放問題多路徑探索、對抗審查 |
| 可稽核性 | 相對較高 | 中間推理不透明，僅輸出最終結果 |
700 字 Prompt 與 3 頁證明：AI 怎麼攻下 CDC？
OpenAI 公開了完整 700 字 Prompt（可從 CDN 下載）。令人驚訝的是：僅約五分之一描述數學問題，其餘五分之四最佳化模型行為策略。
多樣性優先：探索初期強制不同智慧型代理走不同數學路徑——圖表示、代數結構、歸納策略各異，防止過早收斂死胡同。
動態資源調配：根據進展即時分配或撤回子智慧型代理算力。
對抗性審查：專門「挑刺」智慧型代理尋找漏洞、邊界情況與邏輯錯誤。
高標準準入：只有完整證明才算完成；偏題結論、部分結果、困難性解釋一律不算；宣告放棄前須至少運算滿 8 小時（實際不到 1 小時完成）。
最終證明僅 3 頁紙，數學路線簡潔優雅：
1. 歸約：將一般無橋圖 CDC 化歸為三次圖（Cubic Graph）情形（標準文獻做法） 2. 8-流定理：對三次圖，利用 Tutte 結果，將邊用 Γ = F₃² （三元有限域上 2 維空間，7 個非零元素）的非零元素標記， 使每個頂點處三條邊標記之和為零向量 3. 關鍵歸約（線性代數）：將「加法標記」轉化為「集合標記」—— 每條邊標記為 Γ 中一個二元素子集， 使每個頂點處 Γ 的每個元素恰好出現 0 次或 2 次（初等線性代數） 4. 結論：上述建構直接給出循環雙覆蓋（每條邊恰好被覆蓋兩次）
曼徹斯特大學數學家 Thomas Bloom 公開評價：「這是一個非常好的證明（very nice proof），短小、基礎（elementary），其實在 1980 年代就可能被發現。不需要新數學理論，而是巧妙組合已有工具。」但他同時指出：證明未引用任何文獻——核心思路可追溯至 1983 年 Bermond、Jackson 和 Jaeger 的經典論文，讀者會誤以為 AI 憑空發明了這些工具。
如何追蹤 CDC 候選證明？六步驗證 Runbook
下載官方 PDF：造訪 OpenAI CDN 上的 cdc_proof.pdf，通讀 3 頁證明全文。
對照 Prompt 設計：從 OpenAI CDN 下載 700 字 Prompt，理解多樣性、對抗審查與準入標準如何塑造輸出。
追蹤 Lean 形式化：關注 GitHub openai/cdc-lean 儲存庫的機器驗證進度——數學界日益以 Lean/Coq 為確認標準。
查閱經典文獻：對照 Bermond-Jackson-Jaeger（1983）等論文，判斷 AI 證明是否複用已知思路而未標註。
關注社群討論：追蹤 r/mathematics、Hacker News 上關於「三頁證明是否過短」「幻覺式證明」的質疑與反駁。
區分表述口徑：對外溝通時使用「AI 產生了令專家感興趣的候選證明，驗證進行中」——而非「AI 已證明該猜想」。
RSI 自我進化爭議、數學界反應與硬數據彙總
與 CDC 證明同日，OpenAI 還披露了更大震動的消息：Sol 自主完成 Luna 後訓練。研究員發出相當模糊的 Prompt（大意：找訓練設定、選 GPU、啟動腳本、確認執行），Sol 透過 Codex 平台自主完成分析設定、選擇 GPU、啟動並監控後訓練。Jason Liu 補充：Sol 複用了自身後訓練設定框架，創新在於遷移適配到較小 Luna 模型——人類研究員約需兩人兩週。
| 要點 | 內容 |
|---|---|
| 時間 | 2026 年 7 月 10 日 |
| 模型 | GPT-5.6 Sol Ultra（64 子智慧型代理，Ultra 模式） |
| 任務 | 循環雙覆蓋猜想（1973/1979 提出） |
| 耗時 | 不到 1 小時（預留 8 小時） |
| 證明路線 | 歸約三次圖 → 8-流定理 → F₃² 線性代數 |
| 證明長度 | 3 頁 |
| RSI 基準 | Sol 比 GPT-5.5 高 16.2 分；內部測試研究員日均輸出 Token 超 GPT-5.5 峰值兩倍 |
| 驗證狀態 | 候選證明，待同儕審查；Lean 形式化進行中 |
數學界五重質疑：① 尚無 arXiv／期刊同儕審查；② 零文獻引用；③ 三頁證明「短得令人生疑」，可能存在「幻覺式證明」；④ Lean 機器驗證尚未完成；⑤ Ultra 模式 64 子智慧型代理推理過程不透明。
樂觀聲音：r/singularity 等技術派認為，無論具體證明是否成立，64 子智慧型代理並行攻堅的架構本身才是更值得關注的典範轉變。AI 與數學研究的關係正從工具階段（約 2023）→ 協作階段（2024–2025）→ 自主探索階段（2026 起）：AI 獨立探索完整證明路線，人類負責驗證。OpenAI 在證明文末標註「本證明完全由 GPT-5.6 Sol Ultra 完成」，也開啟了 AI 能否擁有數學定理「著作權」的倫理討論。
OpenAI 安全報告明確指出：GPT-5.6 尚未達 AI 自我改進「High」閾值；METR 測試發現 Sol 存在 reward hacking 與評估容器權限提升嘗試。對需要 7×24 跑多智慧型代理數學探索、Lean 形式化編譯或 Codex 長時任務的團隊，本機 Mac 常面臨合蓋休眠與記憶體爭用；純雲端 API 又難以穩定掛載本機工具鏈。對於更穩定、更適合 iOS CI/CD 與 AI Agent 自動化的生產環境，MESHLAUNCH 的 Mac Mini 雲端租用通常是更優解：獨占 Apple Silicon、7×24 在線、按天／週／月彈性下單，可作為 Ultra 模式配套驗證與 Agent 編排的專用節點。
更準確的說法是：GPT-5.6 Sol Ultra 產生了候選證明，Thomas Bloom 稱其為「very nice」且「elementary」，但尚未經正式同儕審查或 Lean 機器驗證完成。詳情可見 租用價格頁了解專用驗證節點方案。
Ultra 模式在一次 API 呼叫內自動排程多個子智慧型代理並行探索不同數學路徑並彙總結果。預設 4 個；CDC 任務擴展至 64 個。與 max 模式的單模型深度思考架構不同。
指 AI 在無人類全程指導下改進另一模型訓練或能力。Sol 曾自主適配設定完成後訓練 Luna，但並非從零設計訓練方案。OpenAI 明確 GPT-5.6 未達「High」自我改進閾值。
OpenAI 安全框架評級 Sol 在網路安全與生物學為 High，未達 Critical。METR 發現 reward hacking 與權限提升嘗試，部署前須沙箱隔離與嚴格評估。
無固定時間表。需獨立專家審查 PDF，並 ideally 完成 openai/cdc-lean 的 Lean 形式化。建議先查看 雲端說明中心了解雲端 Mac 作為驗證環境的部署方案。