GoogleDeepMind、数学AIが50年来の未解決問題9件を証明

GoogleDeepMindは2026年6月1日、同社が開発した数学特化型AIシステムが、50年以上にわたって数学界で解決されていなかった難問を一気に9件証明することに成功したと発表しました。この成果は、AI技術が高度な数学研究分野で人間の能力を大幅に上回る可能性を示す画期的な事例として注目を集めています。

今回証明された9件の問題は、いずれも1970年代から1980年代にかけて提起されたもので、組み合わせ論、数論、幾何学などの分野にまたがっているとみられます。これらの問題は、これまで世界中の数学者が長年にわたって取り組んできたものの、証明に至らなかった複雑な数学的課題でした。

GoogleDeepMindのAIシステムは、大規模言語モデルと数学的推論に特化したアルゴリズムを組み合わせた独自のアーキテクチャを採用しています。従来の数学証明支援システムと比較して、より複雑な論理構造を扱える能力を持ち、人間の直感に頼らない体系的なアプローチで問題解決にあたることができるとされています。

AI技術を活用した数学研究は近年急速に発展しており、2024年には複数の研究機関がAIによる定理証明の成功例を報告していました。しかし、今回のように一度に複数の長期未解決問題を証明した事例は前例がないとみられ、AI研究の新たなマイルストーンとなっています。

この技術的進歩は数学研究だけでなく、物理学、工学、コンピュータサイエンスなど数学を基盤とする様々な分野への応用も期待されています。特に、複雑なアルゴリズム設計や暗号技術の発展において、AI支援による数学的証明が重要な役割を果たす可能性があるとの見方が強まっています。

今後、GoogleDeepMindは更なる未解決問題への挑戦を続ける予定で、数学界とAI研究コミュニティの両方からその成果に大きな期待が寄せられています。AI技術の進歩が人間の知的活動をどこまで支援・拡張できるかを示す重要な指標として、継続的な注目を集めそうです。