OpenAI：GPT-5.6 Sol Ultra 在一小時內證明五十年圖論難題

Odaily星球日報訊 OpenAI 研究員 Ethan Knight 於 12 日在社交平台 X 表示，GPT-5.6 Sol Ultra 已生成關於圖論代表性未解問題「循環雙覆蓋猜想」的證明論文和提示詞。該模型在最多 64 個並行子代理配置下，未使用網際網路搜尋，約在一小時內完成結果生成。

OpenAI 公開的論文共 3 頁，先將問題歸約為三次正則圖，再使用 8-flow theorem 和 GF(3) 標籤，並以線性代數方法構造每條邊恰好包含在兩個循環中的結構。該結果尚未經過學術期刊發表、同儕審查，也未通過 Lean 或 Coq 等形式化驗證系統驗證。英國曼徹斯特大學數學家 Thomas Bloom 評價該證明「非常出色」，但指出其參考文獻引用不足。（ZDNet Korea Semiconductor）。