Declaration — Math and AI

A Severe Misalignment of AI in Mathematics Over the last few months, the mathematical capabilities of LLMs have improved dramatically, to the point that they can solve major outstanding problems in many fields of mathematics. However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community. The goals of

[wrss]

AIの数学の能力は素晴らしいけれど、人類の理解や過程の軽視、人のアイディアや成果の剽窃の懸念などがある。学術界とAI企業の間で対話とルール形成ができることを望むと。

[jassmaz]

AI企業が「未解決問題を何問解いたか」を性能競争のベンチマークにすることと、数学者が数学研究によって達成しようとしていることは根本的にズレていると指摘。

[mkusaka]

LLMsの数学ベンチマークは害になるとして「A Severe Misalignment of AI in Mathematics」を宣言し署名募集中です。