OpenAI近日宣布，旗下GPT-5.6 Sol Ultra模型在不到一小時內，完成圖論重要難題「循環雙覆蓋猜想」的完整證明，並公開相關證明文件及提示詞。不過，成果尚未經同行評審或形式化工具驗證，數學界對其正確性仍持審慎態度。
循環雙覆蓋猜想於1970年代提出，核心問題是任意無橋圖能否找到一組循環，使每條邊恰好出現在兩個循環中，至今懸而未決逾50年。
OpenAI表示，模型同時調度最多64個子智能體，分別嘗試不同代數及結構方法，並安排對抗智能體檢查漏洞。證明據稱先將問題歸約至三次圖，再結合8-流定理及有限域GF(3)上的線性代數，構造符合條件的邊標記。
英國曼徹斯特大學數學家Thomas Bloom形容證明簡潔漂亮，認為AI優勢在於能持續嘗試大量細微變化，但亦指出文件未引用重要既有研究。
由於該猜想過去曾多次出現錯誤證明，圖論專家仍須逐步核查。若最終獲確認，將可能成為大型語言模型首次獨立解決重要公開數學難題的里程碑。（編輯部）
下載APP