北京
周三下午，一個數學猜想被扔進對話框，64個AI智能體同時開工。有的在試代數思路，有的在畫圖，還有幾個專職找茬。一小時后，系統彈出結果：證明完成。人類數學家們得花幾天時間逐行檢查，但這幫AI從頭到尾零人工干預。
OpenAI在7月10日宣布了這項成果。GPT-5.6 Sol Ultra用不到一小時跑完了“循環雙覆蓋猜想”的完整證明。這個猜想1973年由George Szekeres提出，1979年Paul Seymour獨立重提，在圖論圈子里懸了50多年沒解決。問題本身不難描述：任何一個沒有橋的圖，能不能找到一組環，讓每條邊恰好出現在兩個環里？聽上去簡單，證明起來是另一回事。
OpenAI研究員Ethan Knight在X平臺上發了貼。他說GPT-5.6剛對所有用戶開放，隔天就交了這份成績單。64個子智能體并行工作，走的不是一條路，而是多條路線同時推。
64個AI打配合，有人負責推導有人負責拆臺
OpenAI公布了整套提示詞和生成的PDF證明。提示詞給模型定的規矩挺細：最多調用64個并行子智能體，動態分配任務，早期階段必須保持研究路線多樣性，不同智能體分別嘗試不同數學表示方法、代數思路、結構歸納。最特別的是專門安排了“對抗智能體”，他們的活是挑刺——找漏洞，翻邊界情況，挖潛在錯誤。
提示詞還下了幾道死命令：不許聯網查資料，不許只證明特殊情況拿半成品糊弄，所有結論必須過對抗式驗證，還得檢查常見數學錯誤。系統本來預留了8小時，結果1小時就跑完了。
三條核心思路：歸約到三次圖、8流定理、三元有限域標記
證明的主線可以拆成三步。第一步把原始猜想歸約到三次圖問題上，縮小戰場。第二步用了8流定理。第三步在GF(3)三元有限域上做線性代數構造，給每條邊打上標記，最終證明每條邊確實能恰好屬于兩個環。
曼徹斯特大學數學家Thomas Bloom是第一批公開評價這份證明的人。他說證明本身“非常漂亮”，簡潔、基礎，沒用什么花哨工具。他覺得這套方法如果在20世紀80年代被人想到，當時就能做出來。Bloom的原話是，人類數學家試一種自然方法失敗了多半就放棄，AI不會因此喪氣，會一直試各種細微變化。
沒有參考文獻，沒走同行評審：現在還只是“上傳PDF”
但Bloom也指了一個硬傷。整篇證明沒有引用任何已有文獻，比如1983年Bermond、Jackson和Jaeger那篇經典論文本該出現，卻完全缺席。他認為這是AI自動生成數學論文的普遍毛病。
更大的懸念在于驗證。現在這份證明沒經過正式同行評審，上傳到公司CDN和在期刊上發表是兩碼事。過去幾年arXiv上冒出過不少聲稱證明了這個猜想的論文，后來都被找到漏洞，有的直接撤稿。數學界這次反應謹慎。證明也沒有用Lean之類形式化工具做機器驗證，業內人士說圖論相關的形式化數學庫目前撐不起這種級別的研究型定理，短期沒法靠自動工具驗真偽。
推理成本約兩千到九千元，如果過了驗證意味著什么
跑這么一次的成本有業內人士估了筆賬。按OpenAI官方Sol定價，大約275到485美元，合人民幣1867到3293元。如果用Cerebras平臺跑，最高可能到1.3萬美元，約合88270元人民幣。
假如最終通過數學界驗證，這將是大型語言模型第一次獨立解決一個被維基百科列入“未解決數學問題”清單的難題。此前DeepMind在帽子集合問題上的研究、AI在紐結理論上的突破，都是人機協同完成，不是AI獨立拿出完整證明。
Bloom還提了一個挺有意思的視角。這份證明用的大多是幾十年前就有的經典工具，AI的優勢未必在提出全新數學概念，而在于計算耐心和持續嘗試能力，人類比不了。接下來幾天到幾周，圖論專家們會逐行審查每一個推導步驟，全部過關才算數。
特別聲明：以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布，本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
