#学術

AIが数学の難問を解く能力は、ここ数か月で目に見えて伸びた。けれど、その成功をそのまま「数学の進歩」と同一視してよいのか。Math and AI が公開した宣言文は、そこに強い疑問を投げかけている。数学者たちは、AI企業が数学問題をベンチマークとして競うやり方が、研究数学そのものにとって有害になりうると訴えた。しかも問題は数学だけに限られない。科学、創作、そして広く人間の知的労働全体で、目的と手段がずれていく危うさがある、というのがこの文章の骨格だ。 宣言はまず、LLMの数学能力がここ数か月で劇的に向上し、多くの分野で未解決問題まで解けるようになったと認める。だが、その事実を喜ぶ一方で、AI企業が数学を「解けるかどうか」の競争に使うことは、数学という学問の目的と噛み合っていない、と強く主張する。ここで言う不一致は単なる価値観の違いではなく、AI企業の狙いと数学コミュニティの狙いが「severely misaligned」だというかなり強い表現で示されている。 文章は、研究数学の役割をかなり丁寧に描いている。数学は、形、数、自然現象の基本構造を理解する営みであり、世代をまたいで蓄積された