GPT-5.6 Sol Ultraがサイクル二重被覆予想の証明を生成
原題: GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
なぜ重要か
AIが長年未解決のグラフ理論難問を証明したとすれば、数学研究におけるAIの役割を根本的に変える可能性があり、業界全体に大きな影響を与える。
OpenAIのGPT-5.6 Sol Ultraが、数学の未解決問題であるCycle Double Cover Conjecture（サイクル二重被覆予想）の証明を生成したとする文書がOpenAIの公式CDNにPDF形式で公開された。同予想は1970年代から未解決のまま残されていた グラフ理論の著名な難問である。
OpenAIの公式コンテンツ配信サーバー（cdn.openai.com）に、GPT-5.6 Sol Ultraと称されるモデルがCycle Double Cover Conjecture（サイクル二重被覆予想）の証明を生成したとするPDF文書が公開された。
Cycle Double Cover Conjectureは、グラフ理論における長年の未解決問題であり、1970年代にSeymourおよびSzekeresによって独立して提唱された。内容は「すべての橋のない連結グラフに対して、各辺をちょうど2回カバーする閉路の集合が存在する」というものであり、長年にわたり多くの数学者が証明を試みてきたが、一般的な解決には至っていなかった。
公開文書はOpenAIの公式ドメインからホストされており、GPT-5.6 Sol Ultraというモデル名が付記されている。なお、文書の数学的内容の妥当性や、専門家による査読・検証の状況については、現時点で公式な追加情報は確認されていない。
AIシステムによる数学の難問解決は、2024年以降にDeepMindのAlphaProofやOpenAIの各種モデルが数学オリンピック問題への取り組みで成果を示して以降、研究コミュニティの注目を集めている分野である。今回の発表が数学界および AI研究界においてどのように評価されるかは、今後の専門家による検証結果に委ねられる。