2025 年夏、人工知能（AI）が国際数学オリンピックの難問を解くという出来事がきっかけとなり、数学研究における AI の役割が決定的な転換点を迎えました。当初は解答既知のパズル解決に過ぎないと考えられていましたが、テルゼンツ・タオ氏ら著名数学者の検証により、AI が新発見の導出や証明プロセスにおいて現実的な成果を上げていることが明らかになりました。2026 年初頭には、AI による自主的な計算や対話型チャットが、従来の数ヶ月かかる研究を数日や数時間で完了させるケースも出現しています。 具体的な成果として、Google DeepMind の「AlphaEvolve」システムが、数学的な構造の解析を通じて、50 年間発見されていなかった超立方体のような新しい幾何学的性質を特定しました。また、チャット GPT などの生成 AI との対話によって、42 年間未解決だった最適化理論の重要な定理を証明するプロセスも加速しました。これらの事例は、AI が単なる計算補助ではなく、人間には気づかなかったパターンや仮説を発見する創造的なパートナーとして機能していることを示唆しています。 しかし、この急速な変化には懸念も伴います。AI が生成する誤った情報や無意味なコンテンツが増える「ノイズ」の懸念から、学界では論理検証を自動化する形式証明への期待が高まっています。また、学生が AI に過度に依存することで基礎的な思考力が損なわれるリスクや、伝統的な数学の美的価値が希薄化する可能性も指摘されています。タオ氏らは、AI が戦略的な計画を立てて「永遠の未解決問題」に挑む能力はまだ限定的であるとし、完全な代替ではなく、人間の知性を拡張する道具としての役割を強調しています。 今後、AI は数学研究のスピードを劇的に向上させ、多くの定理が人間単独よりも効率的に発見されると予測されていますが、数学が持つ芸術性や文化としての価値をいかに維持するかが今後の重要な課題となるでしょう。業界全体が新しい学問のあり方と、AI との共存の方法を模索している段階です。