AIスタートアップが未解決の数学問題4件を解決、数学AIに新展開

Wiredは2026年2月4日、AIを活用した数学スタートアップが代数幾何学において4つの未解決問題を解決したと報じた。数学者Dawei Chen氏とQuentin Gendron氏が5年間取り組んできた難題だ。

解かれた問題は曲面上の距離測定に用いる微分形式（differentials）に関するもので、高度な純粋数学の領域だ。

このスタートアップは単独でAIに解かせるのではなく、数学者とAIが反復的な協働を行うアプローチを採用しており、AIが仮説を生成し数学者が検証するサイクルを確立した。

成果は形式的な数学的証明として記述されており、査読プロセスに耐えうるレベルとされる。AIによる数学的発見の信頼性が大きく向上した。

純粋数学での成功は暗号理論、量子コンピュータ、物理学シミュレーションなどへの応用研究加速を促すと期待されている。