GPT-5.6 Sol Ultra、長年未解決の数学予想を証明
Judul asli: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
Mengapa Ini Penting
AIが未解決数学問題の証明を生成したとすれば、科学研究へのAI活用の新たな段階を示す。
OpenAIのGPT-5.6 Sol Ultraが、グラフ理論の未解決問題「Cycle Double Cover Conjecture」の証明を生成したとする論文PDFが公開された。
OpenAIが公開したPDFドキュメントによると、同社のモデル「GPT-5.6 Sol Ultra」がグラフ理論における長年の未解決問題「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとされる。同予想は、すべての橋なし連結グラフが閉路の集合で各辺をちょうど2回被覆できるというもので、1970年代から数学者が取り組んできた難問の一つ。公式な査読や数学コミュニティによる検証の状況は現時点では不明だが、ドキュメントはOpenAIの公式CDNドメインから配信されており、同社が関与していることは確認できる。AIが未解決の数学的予想に対する証明候補を提示したことは、数学研究へのAI活用において注目される事例となる。