GPT-5.6 Sol Ultraが「サイクル二重被覆予想」の証明を生成
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
OpenAIは、GPT-5.6 Sol Ultraが、グラフ理論における未解決問題だった「サイクル二重被覆予想」の証明を生成したと発表した。この予想は、すべてのブリッジのない無向グラフが、各辺をちょうど2回通るサイクルの集合を持つというもので、Tutteらによって提唱されていた。証明は3ページのPDFで公開され、GPT-5.6 Sol UltraとCodex（GPT-5.6 Sol）による執筆とされている。
このノートの証明は完全にGPT 5.6 Sol Ultraによるものであり、執筆はCodex（GPT 5.6 Sol）とともに行われた。