AIが数学をやる時代に数学者であることの意味

2000年代中期、著者は応用数学の博士号に苦闘していた。今振り返ると、純粋数学の同級生たちが何年も抽象問題に取り組んだ理由が理解できる。彼らは理解に至る長い旅そのものから喜びと意味を得ていたのだ。数学者の伝統的な仕事——直感で予想を立て、論理で証明する——は、AIの台頭により根本から問い直されている。

AIは数学で目覚ましい成果を挙げている：Google DeepMindとOpenAIのシステムは2024年の国際数学オリンピックで金メダル級の成績を達成。DeepMindのAletheiaは博士レベルの研究を自律的に生成し、その内容は数論幾何の構造定数計算という地味なものだが、未解決問題に取り組んだ複雑な推論が重要である。また、OpenAIの新しい汎用AIシステムは組合せ幾何学の重要な予想を反証し、もし人間が著者なら主要数学誌に掲載される価値があると評された。さらに、LLMと証明アシスタント（Lean、Isabelle等）の組み合わせにより、非形式的証明を自動で形式コードに変換するプロセスが加速。Math Inc.の推論エージェントGaussは、フィールズ賞受賞者マリナ・ヴィアゾフスカの8次元球体充填問題の形式化を数日で完了し、さらに複雑な24次元の場合を2週間で自律形式化した。

これらの成果は数学界に波紋を広げている。2025年9月のハイデルベルク・ローレート・フォーラムでは、ヤンフィ・ヒー博士が「人間の数学者は神託の祭司になる」と予言し、若手研究者に実存的恐怖を与えた。オーストラリアの学生Trill Whiteは「それは壊滅的だ。人々は数学に何を貢献できるのか？誰も理解できないものになるのか？」と語った。Google Developer GroupsのJessica Randallは若い数学者たちの間で集団的な存在不安を感じたという。しかし、数学者たちは三つの未来像を模索している。アクシェイ・ヴェンカテシュに代表される「人間中心」派は、数学を合意形成の道具と見なし、AIの証明は人間が理解できて初めて価値があると主張。オタワ大学のマイア・フレイザーは美しい人間の証明を追求する意義を強調する。一方、テレンス・タオは「ビッグ数学」協働モデルを提唱。問題を細分化し、人間は創造的部分を、AIは技術的部分を担当し、形式化検証により信頼を構築する。彼はすでにオンラインの協力者（AIツールを使う者も含む）とともに問題に取り組んでいる。

リスクも指摘されている：AIツールの価格が数学を特権的活動にする可能性。若い世代が苦闘を避けることで直感の基盤を失う「知的萎縮」の危険。研究資金提供者が伝統的プロセスを軽視する懸念。数学界はエッセイ執筆、ワークショップ開催、ガイドライン策定などで対応している。AIは数学の本質——それは単なる道具か、人間精神の表現か——を問い直す契機となっている。将来、数学が論理的思考力や人生の知恵を育む場であり続けられるかどうかは不確かだ。しかし、この変革自体が数学に深い問いを突きつけている。