GPT-5.6一小時攻克五十年數學猜想，64個Agent協同作戰

7月11日，OpenAI研究員Ethan Knight在社交平臺宣佈了一件事，讓數學圈和AI圈同時炸了鍋。剛釋出沒多久的GPT-5.6，在「Sol Ultra」模式下調集了64個子智慧體，用不到一小時，給一道懸置了近五十年的圖論猜想「迴圈雙覆蓋猜想」拿出了一份完整證明。OpenAI把完整提示詞、三頁紙的證明全文，以及一份用Lean形式化驗證過的版本全部公開，相關程式碼已經透過Lean核心檢查。

這件事之所以轟動，首先因為那道題真的不簡單。「迴圈雙覆蓋猜想」最早能追到Szekeres在1973年、Seymour在1979年的工作，長期被視作圖論裡最重要的開放問題之一。它問的是一個看似樸素的問題：給你一張圖（點和線的集合），能不能找出一批首尾相接的「圈」，讓圖上的每一條邊都恰好被這些圈經過兩次？樸素到什麼程度？一張沒有「橋」的圖，每條邊至少都屬於某個圈，那把所有圈收集起來不就行了？可難點恰恰在「恰好兩次」——你為了補一條只出現一次的邊加一個新圈，可能讓別的邊從兩次變三次，牽一髮動全身，最後要的是全域性同時協調，而不是單獨給每條邊找個圈。

模型給出的證明思路很聰明，它沒去硬找圈，而是把「找圈」翻譯成一個有限域上的邊標號問題，再用線性代數證明這些標號一定能拼起來。大致四步：先把一般圖歸約成每個頂點連三條邊的三次圖；再利用無處為零的8流定理給每條邊貼上三位二進位制標籤，要求在每個頂點處相鄰三條邊的標籤能彼此抵消；接著把每條邊的一個標籤擴充套件成兩個，讓同一標籤在每個頂點要麼不出現、要麼恰好出現兩次；最後，也是最關鍵的，把「兩端標籤必須一致」這個全域性協調問題變成一組線性方程組，用對偶空間和奇偶性證明它一定有解。於是相同標籤的邊自動連成圈，每條邊恰好落在兩個圈裡。OpenAI還順手把那份約700詞的提示詞公開了，裡面藏著駕馭神話級模型的真功夫：不規定解法，只把驗收標準釘死；把定義、邊界情況一次性說清；不只講要什麼答案，還列出什麼不算答案；複雜任務不搞固定分工，而是動態搜尋加獨立對抗審查。

釋出後，正在韓國開ICML的Noam Brown（o1的核心貢獻者）隔著太平洋第一時間趕來捧場。他特別點出，這次和此前證明Erdős單位距離問題不同，沒有動用什麼內部特供模型，靠公開能用的GPT-5.6 Sol Ultra就幹成了，而且把測試時計算的並行大幅鋪開，原本可能磨一整天的證明被64個Agent壓進了一小時。外界普遍認為，這既說明前沿模型在數學上的天花板還在抬高，也證明了多智慧體協作能極快地壓縮任務耗時。

但熱鬧歸熱鬧，這事兒還遠沒到「蓋棺定論」的時候。 OpenAI放出的是一份「公開且技術具體的證明主張」，不是經過同行審議的結論。數學界尚未完成獨立審查，所以負責任的表述只能是「給出證明」，不能直接說「正式解決」。更冷靜的觀察者還指出，這次實驗報告其實並不完整：OpenAI只公開了這一個成功案例，沒披露失敗嘗試、沒給成功率、也沒交代64個Agent的真實併發模式與成本。一次成功跑通，可以很有歷史意義，但還談不上是對模型能力的完整評估。說到底，圖論家的下一章，才是真正檢驗這份證明成色的地方。

把視線拉遠一點，我更在意這份公開Prompt本身。 它示範了一種和「神話級模型」打交道的正確姿勢：路徑未知的任務，別急著替模型排好SOP，先把「什麼算真正完成、什麼不算完成」寫死，把邊界和驗收機制釘清楚，再讓一群Agent去動態探索、互相找茬。這比「證明了一個五十年猜想」更值得普通從業者抄作業——畢竟能調64個Agent的人不多，但能把複雜任務寫成一份可驗收、可審查、可糾錯的「任務合同」的人，每一個團隊都缺。真正的拐點，可能不是AI第一次證明數學猜想，而是我們終於學會怎麼給AI立規矩、定標準。