OpenAI 用 GPT-5.6 Sol Ultra 破解 50 年數學懸案：1 小時生成圈雙覆蓋證明

數學家們花了半個世紀都沒啃下來的硬骨頭，被剛釋出一天的 AI 在不到一小時裡解開了。

OpenAI 釋出了一篇僅有 3 頁的純數學論文，宣稱徹底證明了圖論中著名的「圈雙覆蓋猜想」（Cycle Double Cover Conjecture）。這篇論文最扎眼的地方不在於結論本身，而在於宣告頁的一句話：正文中的所有推導完全來自 GPT-5.6 Sol Ultra，論文排版與成文則由 Codex 配合 GPT 5.6 Sol 完成。

也就是說，人類在這篇論文裡基本只扮演了讀者的角色。

64 個子代理，把難題拆成初等線性代數

圈雙覆蓋猜想最早由 Tutte、Seymour 等人在大約 50 年前提出。用大白話說，它斷言任何一個沒有「橋」（即去掉後會讓圖斷開的單條邊）的無向圖，都可以找到一組圈，讓圖裡的每一條邊恰好被這兩組圈覆蓋兩次。

過去幾十年裡，數學家們只在平面圖或某些特殊圖結構上驗證了部分結論，整體證明一直懸而未決。

據報道，這次 GPT-5.6 Sol Ultra 解決問題的思路非常暴力且高效：它在系統內部建立了 64 個子代理並行探索，整個求解過程用了不到一個小時。

從論文給出的推導步驟來看，模型的破局點並不複雜：它先按照經典圖論思路將問題規約到沒有環的三次圖上，然後巧妙結合了已有的 8-流定理，把邊賦值轉化為代數結構，最後將整個猜想歸結為一個關於有限域 F2 的初等線性代數方程組求解。

這種把複雜的拓撲組合結構壓平為線性方程組的手法，雖然看起來極其乾淨，但此前從未有人以這種路徑把它徹底走通。

為什麼重要

這一步邁得非同尋常。

此前行業裡常說大模型有「推理能力」，但大部分所謂的高分表現，依然停留在數學競賽題或者已知證明的重寫上，本質上還是模式匹配。而這次 GPT-5.6 Sol Ultra 是在無人提示具體構造的前提下，獨立啃下了一個存在 50 年的開創性難題。

對科研人員和開發者來說，這意味著前沿模型的使用範式變了。過去我們把 AI 當成高階計算器或程式碼補全工具，必須一步一步給引導；現在看起來，讓幾十個子代理組成小型突擊隊、在限定數學規則內窮盡路徑，已經可以產生真正的全新知識。如果你正在做理論推導或演算法設計，這種多代理協同求解的思路很快就能直接幫上忙。

對行業而言，OpenAI 這次展示的其實不是語言理解，而是強化學習與自主演繹的上限。這種能力會逼著整個賽道加速轉向更硬核的科學計算與形式化驗證，不再只是卷聊天上下文和多模態畫圖。

不過在我們看來，現在還不到開香檳的時候。AI 生成的證明往往極度濃縮，目前這篇論文還沒有經過國際數學界的嚴格同行評議；雖然線性代數部分每一步都可查，但有沒有微妙的迴圈論證或邊界漏洞，仍需數學家們肉眼核驗。但無論如何，AI 獨立推導高難度科學結論的大門，已經被硬生生推開了一條縫。