OpenAI：GPT-5.6 Sol Ultra在1小時內證明50年圖論難題
來源：
zdnet.co.kr
OpenAI 研究員 Ethan Knight 於 12 日在社交平臺 X 表示，GPT-5.6 Sol Ultra 已生成關於圖論代表性未解問題“循環雙覆蓋猜想”的證明論文和提示詞。該模型在最多 64 個並行子代理配置下，未使用互聯網搜索，約 1 小時內完成結果生成。OpenAI 公開的論文共 3 頁，先將問題歸約爲三次正則圖，再使用 8-flow theorem 和 GF(3)標籤，並以線性代數方法構造每條邊恰好包含在兩個循環中的結構。該結果尚未經過學術期刊發表、同行評審，也未通過 Lean 或 Coq 等形式化驗證系統驗證。英國曼徹斯特大學數學家 Thomas Bloom 評價該證明“非常出色”，但指出其參考文獻引用不足。（ZDNet Korea Semiconductor）。
