OpenAI 宣布其最新的 AI 模型 GPT-5.6 Sol Ultra 在一小時內完成了所謂 Cycle Double Cover 猜想的完整證明。該猜想由多位數學家在 1970 年代獨立提出，困擾學界約 50 年，至今未有公認證明。模型使用 64 個子代理並行工作，最終生成證明。
重點文章
證明獲數學家肯定
曼徹斯特大學數學家 Thomas Bloom 稱讚該證明「簡潔、基礎，原本可在 1980 年代發現」，但同時批評論文完全未引用 1983 年 Bermond、Jackson 與 Jaeger 的相關文獻。Bloom 懷疑 AI 並非憑空創造，而是從既有研究中重組思路，這再次引發 AI 能否真正「創造」的討論。
AI 展現人類缺乏的耐性
Bloom 指出，AI 不會因初步失敗而放棄，會持續嘗試微小變化直到找到突破。人類數學家往往在直覺方法失敗後便放棄，而 AI 的「堅持」正是關鍵。他認為這類證明原本只需現有理論加上大量耐心與信念，人類本可更早發現。
提示工程嚴格把關
OpenAI 為本次證明設計了特殊的提示：要求模型假設證明存在、禁止搜尋網路確認是否已解，並設定至少運算 8 小時才可放棄。64 個子代理中多數被刻意保持資訊隔離，另有對抗性代理檢查典型錯誤，如封閉路徑誤判為循環等。模型最終在不足 1 小時內完成任務。
