GPT-5.6 Sol UltraがサイクルDouble Cover予想の証明を生成
GPT-5.6 Sol UltraがサイクルDouble Cover予想の証明を生成
| 項目 | 内容 |
|---|---|
| ジャンル | AI |
| 日付 | 2026-07-11 |
| 元記事 | OpenAI |
要約
OpenAIのGPT-5.6 Sol Ultraが、グラフ理論の長年の未解決問題「サイクル二重被覆予想（Cycle Double Cover Conjecture）」の証明をPDFとして公開した。この予想は任意の2-連結グラフがすべての辺を正確に2回被覆する閉じた歩道の集合を持つという主張であり、数十年にわたって数学者を悩ませてきた難問である。AIが高度な純粋数学の未解決命題に対して自律的に形式的な証明を生成したことは、AI研究能力の新たな到達点を示す。今後、証明の数学的検証が进む中で、AI支援による数学研究の加速が期待される。