GPT-5.6 Sol Ultra、未解決数学定理の証明を生成
Original : GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
Pourquoi c'est important
AIが未解決数学問題を解決できるなら、科学・研究分野への影響は計り知れない。
OpenAIのモデル「GPT-5.6 Sol Ultra」が、グラフ理論の長年の未解決問題「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとする文書がOpenAIのCDNで公開された。
OpenAIのサーバーに公開されたPDF文書によると、同社のAIモデル「GPT-5.6 Sol Ultra」が、グラフ理論における未解決の難問「Cycle Double Cover Conjecture（サイクル二重被覆予想）」の証明を生成したとされる。この予想は、すべての橋なし連結グラフが閉路の集合で辺を二重に被覆できるというもので、1970年代から数学者たちが証明を試み続けてきた問題である。文書はOpenAIの公式CDN（cdn.openai.com）からホストされており、同社が関与している可能性を示唆する。ただし、証明の正当性については独立した数学者による検証が必要であり、現時点で第三者による確認は公式には報告されていない。AIによる数学的発見の領域では、DeepMindのAlphaProofなども注目を集めており、大規模言語モデルの数学的推論能力が急速に進化していることを示す事例として注目される。