数学界、AIの問題解決競争に警鐘
原題: A misalignment of AI in mathematics
なぜ重要か
AI企業のベンチマーク競争が学術コミュニティの知識生産プロセスをどう変容させるか、数学界からの具体的な批判として業界全体に問いを投げかける。
数学者らが「Math and AI」宣言を発表し、AI企業が数学的問題をベンチマークとして競って解こうとする傾向が、数学という学問そのものとその共同体にとって有害だと訴えた。LLMの数学的能力は急速に向上し、多くの分野で重要未解決問題を解けるレベルに達しているが、その目標設定は数学界の本来の目標と「深刻にずれている」と指摘している。
数学者らが連名で公開した宣言「A Severe Misalignment of AI in Mathematics」は、AI企業がベンチマークとして数学問題の「解答」を量産することへの強い懸念を表明している。
宣言によれば、研究数学の本質は問題を解くことではなく、数や形の基本構造に対する「概念的理解と洞察」を深めることにある。著名な未解決問題は、その背後にある新たな手法や知見を示す指標として機能してきた。問題が解かれると、その後に数学者コミュニティによる長い検証・議論・整理のプロセスが続き、最終的には学部生でも学べる教科書的知識として定着する。場合によっては数十〜数百年を経て社会全体が活用する技術の基盤にもなる。
ところが現状のAIによる問題解決は、この過程を根底から脅かしているという。成果が性急に発表されるため、新手法の整理や先行研究の適切な引用が行われない。「真/偽」の命題を大量高速生成することは、新しいアイデアが育まれる土壌を破壊しかねない。さらに、帰属（アトリビューション）や剽窃に関する深刻な問題も提起されている。
宣言はまた、人材育成の観点からも問題点を指摘する。学生への問題提示は、答えを得るためだけでなく、研究力や新たな問いを立てる能力を育てる目的で行われてきた。AIがその「成果」を直接生産するようになれば、数学者間の「人間的な知の伝達の連鎖」が失われると警告する。
宣言は数学に限らず、創造的・知的職業全般、さらには社会全体に影響する「より広いアライメント問題の一部」として位置づけており、多数の数学者が署名している。