25 位菲尔兹奖得主联名批评 AI 公司拿数学难题做基准

陶哲轩、邓煜、Peter Scholze 等 25 位菲尔兹奖得主联名发布声明，批评 AI 公司把解决重大数学难题当成 benchmark，并称这种做法已经开始伤害数学研究。

声明承认，大模型在最近几个月进步很快，已经能解决多个领域的重要未解问题。不过，这份声明同时指出，数学更看重由此产生的新概念、新方法和理解。

这 25 位数学家最不满的部分，是 AI 公司争相抢先公布结果。声明称，一些解法还没来得及整理完整证明、提炼新方法、补齐前人引用，就已经被对外宣布，由此带来严重的署名和抄袭问题。

声明还表示，如果没有数学家继续消化和整理这些结果，AI 找到的想法也很难真正进入数学体系。

这份声明没有点名 OpenAI，但《经济学人》的配套报道直接以「顶尖数学家对 OpenAI 的做法感到愤怒」为题。几天前，OpenAI 刚因 Navier-Stokes 证明陷入署名和未公开研究争议。

陶哲轩表示，这份声明是在过去一周讨论后快速形成的，因为他们认为情况已经足够紧急。