GPT-5.6 SolがCDC予想の証明を生成
원제: 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（サイクル二重被覆予想）」の証明をPDF形式で公開した。同証明はOpenAIの公式CDNドメインにて公開されており、AIによる高度な数学的推論能力を示す事例として注目されている。
OpenAIは、同社のAIモデル「GPT-5.6 Sol Ultra」が生成した「Cycle Double Cover Conjecture（CDC予想）」の証明をPDF文書として公開した。CDC予想は1970年代から数学者たちが取り組んできたグラフ理論の未解決問題であり、「すべての2辺連結グラフは、各辺をちょうど2回含むサイクルの集合によって被覆できる」という命題を主張するものである。これまで多くの数学者が証明を試みたが、正式な解決には至っていなかった。公開されたPDFはOpenAIの公式CDNサーバー（cdn.openai.com）上にホストされており、OpenAIが公式にこの成果を発表したことを示している。AIモデルが長年未解決とされてきた純粋数学の定理証明を達成したとすれば、数学研究および人工知能の能力評価における重大な節目となる。ただし、証明の正しさについては数学コミュニティによる独立した検証が必要であり、現時点では査読済みの公式確認は確認されていない。