2026年7月12日 02:38
GPT-5.6 Sol Ultraが50年来の数学難問を証明
OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour
3行まとめ
- •GPT-5.6 Sol Ultraが50年未解決の数学予想を証明
- •64サブエージェントが並列処理、1時間未満で達成
- •数学者は証明を評価も先行研究の欠如を批判
詳細
概要
OpenAIのGPT-5.6 Sol Ultraが、50年間未解決だった数学上の「Cycle Double Cover予想（輪双被覆予想）」の証明を1時間未満で生成したと報じられた。64のサブエージェントが並列稼働するマルチエージェント方式で達成されたもので、AIが人間の数学者が長年解けなかった問題に証明を提示した事例として注目を集めている。
評価と課題
この証明を検証した数学者のトーマス・ブルームは、内容を「驚くほど初等的」と評価した一方で、既知の先行研究への引用が欠如している点を強く批判した。証明の論理自体に誤りがないとしても、学術的な慣行を満たしていないという指摘は、AIが生成する学術成果の信頼性と誠実さをめぐる議論を呼ぶ重要な問題提起となっている。
今後の影響
この事例が提起する本質的な問いは、AIが既存知識を組み合わせるだけでなく、真の意味で新たな知識を創造できるかという点である。査読コミュニティで証明が正式に認められれば、AIが数学・科学研究において人間の研究者と対等に協働できる時代の到来を告げる画期的な出来事として、AI活用の範囲が根本的に広がることになる。
なぜ重要か
AIが50年未解決の数学難問を1時間で証明し、知的創造における新たな能力水準を示した。査読で認められれば、AI研究開発史上の画期的な転換点となる。
元記事を読む — The Decoder