GPT-5.6 Sol UltraがCycle Double Cover予想を証明
मूल शीर्षक: 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で公開された。
OpenAIの公式コンテンツ配信ネットワーク（cdn.openai.com）上に、GPT-5.6 Sol Ultraモデルが「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとする論文PDFが公開された。Cycle Double Cover Conjectureは1970年代から未解決とされるグラフ理論の著名な問題であり、「すべての橋のない連結グラフは、各辺をちょうど2回カバーするサイクルの集合によって被覆できる」という命題である。長年にわたり多くの数学者が取り組んできたが証明には至っていなかった。今回、OpenAIのAIモデルがその証明を生成したとする文書が同社のサーバーから公開されており、数学・AI研究コミュニティで注目を集めている。文書の正式な査読状況や数学的妥当性については、現時点では独立した専門家による検証が必要な段階である。OpenAIは近年、数学・科学分野における高度な推論能力を持つモデルの開発を進めており、本件はその延長線上にある成果として位置づけられる。