数学界与AI公司之间积累已久的紧张关系在过去一周集中爆发。纽约大学数学家Tristan Buckmaster公开指责OpenAI向他施压，要求他把合作者Levent Alpöge从一篇论文的作者名单中剔除；紧接着，25位菲尔兹奖得主联名签署公开信，警告AI实验室为争夺「解决著名数学难题」的头条正在威胁学术研究本身；本周四，OpenAI撤回了对加州理工学院一项数学活动的赞助——此前该校数学家发表公开信，称这项活动「可能对数学界造成破坏性影响」。

事情的起点是劳动节周末前后。整个八月，Buckmaster与Alpöge在纳维-斯托克斯方程上取得重大进展，这是克雷数学研究所2000年提出的七个「千禧年大奖难题」之一，悬赏100万美元。不到一周，OpenAI宣布其AI智能体找到了答案，并称这是AI首次攻克千禧年难题级别的数学问题，消息震动全球。

但Buckmaster发现事情不对劲。他和Alpöge在研究中使用了OpenAI的Codex工具——一个用于编写和管理代码的AI助手——来帮助整理和简化数学推导，而OpenAI的模型会利用用户数据进行训练。他表示，没有证据表明OpenAI这样做了，但OpenAI证明中的方法和事件的时间线高度暗示这正是所发生的事。

更让他愤怒的是OpenAI开出的条件。项目负责人Sébastien Bubeck向他提出：可以率先发表自己的成果、可以成为OpenAI论文的第一作者、可以获得充足的计算资源，还会建议他与合作者分享那100万美元奖金。条件是：不要把Levent Alpöge列在论文上——因为Alpöge在Anthropic工作，是OpenAI的竞争对手。Buckmaster拒绝了。他称Bubeck随后问他「为什么要毁掉自己的职业生涯」，并在他反问后表示「如果你不想让我友善，那我就不必友善」。Bubeck后来否认威胁了Buckmaster，称这些提议是为了帮助他；OpenAI也发表声明，坚称Buckmaster的Codex提示「不可能以任何方式影响系统」。周一深夜，Buckmaster在网上发布了三篇论文，详细叙述了与OpenAI的整个互动过程。他说，对抗一家万亿美元的公司非常可怕，大家都害怕OpenAI。

Buckmaster的遭遇并非孤例，它触动了数学界积累已久的不满。加州理工学院的数学家们在公开信中写道，AI公司可以宣称其模型「解决」了复杂难题，但之后需要人类数学家来验证、修正，有时甚至要彻底驳斥这些成果，而这项工作没有得到报酬、没有署名，也没有得到承认。他们把这种做法称为「粗糙的数学」。25位菲尔兹奖得主的联名信更加直白：这些解决方案往往仓促发布，根本没有时间进行充分的撰写、对新方法和新思路的梳理，以及引用其他学者的相关工作，并指出这与所有创意行业一样，引发了严重的归属和抄袭问题。信中还说，如果没有那些愿意负责发展和整合这些方案、将其纳入数学体系的数学家，AI提出的想法就永远无法真正落地，数学家之间至关重要的传承链条也将断裂。

更深层的担忧在于，AI公司正在改变数学研究的生态本身。过去，数学家们公开发表想法、彼此合作、逐步推进，一个难题可能需要十年、二十年才能解决，但知识在过程中不断积累、传承。而现在，如果前沿实验室发现一条有助于新发现的途径，他们就可以花费数千万美元，利用大语言模型抢在原研究人员之前完成证明，这种机制无疑会助长保密行为。Buckmaster就感受到了这种压力：他和Alpöge的研究尚未公开，OpenAI就已完成证明，他怀疑OpenAI的智能体利用了他们通过Codex提供的数据，但无法证明。科学记者Kenneth Chang在评论中写道，重要的不仅仅是结果，OpenAI有人能对其智能体如何构建证明给出令人信服的说明吗？

今年6月，数学家工作组发布了《莱顿宣言》，探讨大语言模型将如何改变他们的工作，并为数学家、研究机构和政策制定者提出了一系列建议。宣言的核心关切是：数学的价值不仅在于证明和谁获得荣誉，还在于滋养学生、发现新问题和新想法、并将它们融入更广泛的人类文明知识体系。AI公司或许能更快地「解决」问题，但它们不培养学生，不传承知识，不关心一个证明是否被人类理解。菲尔兹奖得主们写道，数学界现在面临的问题与其他科学和创意行业面临的问题类似，也预示着全人类可能面临的问题：如何确保随着人工智能改变工作方式，我们不会忘记这项工作最初的目标。

OpenAI研究负责人Dan Roberts在批评声中回应称，公司意识到AI在数学领域的快速发展会带来颠覆性影响，希望与数学界进行更多交流。但数学家们想要的，恐怕不只是「更多交流」：他们希望AI公司不要在宣布「突破」后把烂摊子丢给学术界，不要用算力优势碾压人类研究者，不要把开放合作的学术文化变成保密竞赛。Buckmaster在那篇1870字的自述中，花了不少篇幅感谢两位西班牙数学家Diego Córdoba和Luis Martínez-Zoroa——他们几年前提出了攻克纳维-斯托克斯相关问题的新策略，设计了核心的数学工具。他说，主要的智力功劳必须归于Luis和Diego。但OpenAI的声明中，没有提到他们。