AI is not going to make mathematicians obsolete
人工知能（AI）は数学者の役割を完全に奪うことはない。むしろ、AIは計算やパターン認識などの補助ツールとして機能し、人間の数学者は創造性や直感、深い概念理解を活かした研究に集中できるようになる。本記事では、AIと人間の協業が数学の未来を豊かにする可能性を探る。
背景メモ
- 数学とAIの関係を論じた考察。著者は、近年の大規模言語モデル（LLM）や定理証明支援系の進歩にもかかわらず、数学者の役割がなくなるわけではないと主張している。
- 数学は単なる記号操作やパターン認識ではなく、新しい概念の創造・定義、直感に基づく飛躍、問題の意味の理解など、人間の認知に深く根ざした側面がある。現在のAIはこうした「概念の創造」が苦手とされる。
- 参考背景：2024年〜25年にかけて、DeepMindのAlphaProofが国際数学オリンピックの問題を解いたり、OpenAIが高度な数学推論に特化したモデル（oシリーズ）をリリースするなど、AIの数学能力向上が注目された。これに対し、「数学の仕事がAIに奪われる」という懸念と、「創造的な数学は人間固有の領域だ」という反論の両方が論じられている。
- この記事は後者の立場に立ち、AIはツールとして数学者を支援するが、数学という学問の本質的な推進力にはならないと論じている。