GPT-5.6挑戰圖論50年難題
OpenAI 的 GPT-5.6 Sol Ultra 交出一份三頁證明，目標是解決懸而未決約半世紀的 Cycle Double Cover Conjecture：任何沒有 bridge 的有限無向圖，都能找出一組 cycles，讓每條 edge 剛好被覆蓋兩次。證明先把問題縮到 cubic graph，再利用 nowhere-zero 8-flow，把 edge 標成有限域 Γ＝F₂³ 的非零元素；接著將標記轉為二元素集合，最後用線性代數與 duality 證明局部配置能在整張圖上一致，因而構造出 cycle double cover。文件聲明核心證明由 Sol Ultra 產生，Codex 與 GPT-5.6 Sol 負責整理成文，但目前不能把「提出證明」直接當成「定理已獲公認」。
現實應用
這不是明天就會進產品的演算法，直接用途主要在 graph theory、combinatorial optimization 與數學研究。研究者可拿它檢查既有 flow、edge colouring、cycle decomposition 之間的關係；做 AI for Science 的團隊則能把這次案例當成壓力測試，觀察 multi-agent reasoning 是否真的能完成需要新結構與嚴密驗證的工作。
期望評估
我認為低標期望，是這份證明即使最後被找到缺口，也能提供一條很具體的新 reduction，讓數學家定位哪些 lemma 可保留、哪些步驟需要補強。高標期望則是獨立審查確認無誤，正式結束 Cycle Double Cover Conjecture，並成為公開模型產出原創數學成果的重要案例。不過三頁篇幅不是可信度保證，關鍵仍是逐式檢查 reduction、flow labeling 與 duality argument 是否涵蓋所有 multigraph 邊界條件。
商業策略分析
我猜真正受影響的不是一般聊天機器人市場，而是數學軟體、研究助理、藥物與材料探索這類高價值 research workflow。商業意義在於，Ultra 透過多代理並行處理複雜問題，可能把模型從「回答問題」推向「提出候選成果」。值得跟進，但企業採用時應把人工審查、形式驗證與可追溯推理列為成本，不能只看展示結果。對 OpenAI 而言，若證明成立，會比 benchmark 分數更能說明高算力模式的價值；若不成立，也提醒市場必須為驗證成本買單。