2026年7月24日、米フィラデルフィアで開催された国際数学家大会（ICM）において、フィールズ賞受賞者ターリー・タオはAI時代の数学をテーマに公開講演を行った。タオは20世紀初頭の数学基礎論の危機と現在を対比し、AIの数学研究への参入がもたらす本格的なパラダイムシフトを警告した。 講演の核心は、AIが研究レベルの数学証明を生成・検証する能力が現実味を帯びつつある点にある。タオは評価プロジェクトFirst Proofの結果を引用し、複数のAIシステムが未公開の研究課題の7割を解決したことを示しつつ、引用ミスや解説不足といった限界も指摘した。また、Anthropicの研究者がAIを用いてヤコビ猜想の反例を発見・形式検証した事例を引き合いに、生成と検証の自動化が加速する中で、証明の背景にあるロジックを解釈し学界に吸収するプロセスの重要性を強調した。 タオは数学的成果の真の解決を五段階で定義し、AIが生産性を高めても後工程が追いつかない証明の消化不良が起こりうると警鐘を鳴らした。証明が相対的に過剰になる未来において、数学共同体は問題解決数を最優先する従来の評価基準から脱却する必要がある。 具体的には、AI利用の開示を論文作成の標準とし、検証・解説・知識編纂への貢献を評価制度で可視化するよう提案した。さらに、フィールズ賞新受賞者のヤコブ・ツィマーマン氏がOpenAIへ、反例発見者のレヴェント・アルペーゲ氏がAnthropicへ参加する動きは、数学者の役割が証明の生産から検証体系の設計や協働ルール構築へ移行しつつあることを示唆している。タオ自身も講演翌日、AIを活用した質疑応答実験を実施し、人間が最終的な責任と解釈を担当する新しい研究モデルの必要性を体現した。 今後は、AIの数学的能力向上に先立って、学術誌の審査規範の改定、大学カリキュラムの見直し、そして機械生成成果を理論体系に統合するための人的リソース確保が喫緊の課題となる。数学はAIによって工業化の過程に突入しており、その行方は人間の知的統合能力に委ねられている。