数学者はAIを嫌いながら、やめられない

編集注：数学は長らく、AIが攻略しえない最後の砦と見なされてきた。厳密な論理の連鎖、抽象的な直観、そして長年かけて培われる判断力が求められるからだ。しかしここ2年で、その砦の門は内側から開かれたかのように見える。大規模言語モデルが学問の根幹を蝕んでいると公の場で警告する数学者が増える一方、彼らは深夜の証明作業の中でひそかにチャット画面を開いている。WIREDの記者Isabella Wardは、この広く見られる皮肉な矛盾を記録した――数学にとってAIは、存亡を脅かす存在であり、やめられない松葉杖でもある。

一、「あり得ない」から「毎日使っている」へ

ほんの数年前まで、数学界の主流における大規模言語モデルへの態度は軽蔑に近いものだった。算術ミス、架空の補題、曖昧な「証明」――こうした欠陥から、多くの研究者はこれを高度な自動補完に過ぎないと判断していた。転機が訪れたのは2024年前後だ。形式化数学ツールのLeanと、その膨大な数学ライブラリMathlibが成熟し、AIシステムが国際数学オリンピックレベルの問題で金メダルに迫るスコアを出し始め、ニューラルネットワークと記号探索の組み合わせによって「機械が真の研究に参加する」ことが初めて現実的に感じられるようになった。

その後、変化は目に見える速さで広がった。数学者たちは構想段階でAIを使って関連文献を検索し、反例の候補を生成し、自然言語による証明の草稿をLeanコードに変換する。執筆段階では、文章の推敲、境界条件の確認、補題の一般化の予測にAIを活用する。ある整数論の研究者は、これを「疲れを知らず、時々でたらめを言うが、確かに大量の時間を節約してくれる研究アシスタントを、すべての研究者に配備したようなものだ」と表現した。

二、AIはいかにして数学に侵入したか

文章執筆やプログラミングといった分野とは異なり、AIが数学に参入した経路は特殊だ。数学には生来の強みがある――結果を厳密に検証できるという点だ。証明がLean上で機械に受理されれば、ほぼ異論の余地はない。これはAIにとっての福音であり、同時に数学者にとっての苦境でもある――機械が検証可能な定理を大量生産できるようになれば、「価値ある数学」とは何かという問いが浮上するからだ。

さらに微妙なのは、研究プロセスの重心の移動だ。かつて博士課程の学生の成長は、古典文献を読み込み、繰り返し失敗し、問題を選ぶ感覚を徐々に磨くという過程によって支えられていた。今や一部の若い研究者は、まずモデルに「この問題の既知の結果は何か」と問い、生成されたアウトラインに沿って研究を進める習慣が身についている。効率は上がったが、「なぜこの問題が重要か」という直観は外部委託されつつある。

三、真のリスク：取って代わられることではなく、空洞化されること

数学界が最も恐れているのは失業ではなく、学問文化の崩壊だ。大量の論文がAIの補助、あるいはAI主導で生成されるようになれば、検証可能な結果は急速に膨張する。しかし査読者は依然として限られた人間のままだ。審査体制は「量の爆発」と「質の管理」の間でバランスを失い、功績の帰属も曖昧になる――ある重要なアイデアは、果たして誰から生まれたのか。

もう一つの懸念は、理解そのものに向けられている。数学の価値は結論の正しさだけにあるのではなく、証明の構造が明らかにする深い連関にこそある。機械に検証されながら誰も本当には理解していない証明は、誰も住んでいないが構造基準を満たしているビルのようなものだ。学界では、半ば冗談めかしたこんな言葉が流れている：

「私たちは失業しないかもしれないが、自分がなぜ正しいかを知る能力を失うだろう。」

この不安の背後には、現実的な資源をめぐる争いもある。資金提供者がAIによる大量の形式化成果の産出を目にすれば、基礎研究の評価基準、資金の流れ、さらには人材育成のペースまでが書き換えられかねない。

四、なぜやめられないのか

答えは恥ずかしいほど単純だ――便利だからだ。数学研究で最も心力を消耗するのは、ひらめきの瞬間ではなく、煩雑な検証、文献調査、記号計算である。AIはこれらの工程において限界的な収益が極めて高い。競合相手、共同研究者、さらには査読者までもがこれらのツールの使用を当然と見なす状況では、一方的に「やめる」ことはほぼ自ら速度を落とすに等しい。

こうして奇妙な集合行動のジレンマが生じた。ほぼ全員が依存の深まりを好ましくないと考えながら、誰も最初に立ち止まろうとしない。ある研究者は自嘲気味に語った――AIへの抵抗を最も強く宣言する言葉は、たいていAIで文章を磨いた後に発信される、と。

五、まだ終わっていない戦い

学界は折衷案を模索している。AI補助の開示義務化、形式的検証と人間による理解の両立の強調、そして教育の重点を計算技法から問題を選ぶ感覚と批判的判断力へと移すことなどが挙げられる。積極的に受け入れることを主張する声もある――AIを、人類の数学的領域を広げる望遠鏡として用いるべきであり、思考を代替するエンジンではない、という立場だ。

ただし確かなのは、どちらかが勝利しても議論は終わらないということだ。数学とAIの関係は、長期的な共存に近い――後戻りもできず、真の和解も不可能だ。数学者にとって、今や最も証明の難しい命題は数学的予想そのものではないかもしれない。AIなしの状況で、自分たちはまだ働き続けることを望んでいるか、そして続けられるか――これが問われている。ツールと思想の境界をめぐるこの戦いは、始まったばかりだ。

本記事はWIREDより編訳