动察 Beating AI 快讯,陶哲轩、邓煜、Peter Scholze 等 25 位菲尔兹奖得主联名发布声明,称 AI 公司正把解决重大数学难题当成 benchmark,已经开始伤害数学研究。声明承认,大模型最近几个月进步很快,已经能解决多个领域的重要未解问题,但数学更看重由此产生的新概念、新方法和理解。
他们最不满的是 AI 公司抢着公布结果。声明称,一些解法还没来得及整理完整证明、提炼新方法、补齐前人引用,就已经对外宣布,由此带来严重的署名和抄袭问题。没有数学家继续消化和整理这些结果,AI 找到的想法也很难真正进入数学体系。
声明没有点名 OpenAI,但《经济学人》的配套报道直接把标题写成「顶尖数学家对 OpenAI 的做法感到愤怒」。几天前,OpenAI 刚因 Navier-Stokes 证明陷入署名和未公开研究争议。陶哲轩称,这份声明是 25 位菲尔兹奖得主过去一周讨论后快速形成的,因为他们认为情况已经足够紧急。
25位菲尔兹奖得主的联名信,是对OpenAI数学成果发布节奏的一次集体反击。陶哲轩、Peter Scholze等人承认大模型解题能力已不可忽视,但把矛头指向"抢发"流程:完整证明未整理、前人引用未补齐就对外公布,署名与抄袭争议随之而来。
这一动作有明确前序。9月初纽约大学数学家Tristan Buckmaster与Levent Alpöge刚指控OpenAI在Navier-Stokes问题上抢发,OpenAI三天内用仍在训练的内部模型加约1万个Agent、88小时拿出证明,随后连续否认窃取未公开研究。更早的5月,OpenAI模型已推翻埃尔德什单位距离猜想;7月Claude与Codex接连找到雅可比猜想反例。AI介入数学正从孤立突破变成连续动作,而学界至今没有配套的成果归属规则。
值得注意的是声明未点名OpenAI,但《经济学人》直接配了"顶尖数学家对OpenAI的做法感到愤怒"的标题。真正被忽略的是陶哲轩透露的时间线:这份声明是25位得主在过去一周内紧急讨论形成的。触发点不只是Navier-Stokes一例,而是数学界意识到,他们面对的不是某次发布失范,而是一套由内部模型、Agent集群和算力集中构成的生产节奏,而规范解释权正在从学术共同体向实验室转移。