二十五位顶尖数学家签署了一封公开信，指出AI实验室在竞相用解决著名数学问题来互相超越的过程中，正在威胁他们的智力工作。每位签署者都曾获得菲尔兹奖——这是数学界最负盛名的奖项，而且直到最近，它一直是一种可靠的方式，能让你在说某件事是个问题时，人们会认真倾听。

事态在多个方面升级。本周，纽约大学教授特里斯坦·巴克马斯特指控OpenAI向他施压，要求他不要感谢一位为Anthropic工作的合作者解决了一个重要数学问题，并怀疑该公司是否利用他们与Codex的合作成果，在一个马拉松式的推理周末中产出了自己的突破性证明。周四，OpenAI撤回了对加州理工学院一场数学活动的赞助，此前该公司遭到了该校研究人员的批评——这一举动解决了关于赞助能否比证明验证得更快被撤销的争论。

虽然AI模型解决世界上悬而未决的数学挑战理论上可能造福人类，但签署者认为，只有当这些解决方案能够被数学界乃至最终被全世界理解和传播时，才会如此。这是一种礼貌的说法：没人能读懂的证明，只是一个非常昂贵的数字。

“这些解决方案往往仓促发布，没有时间进行适当的撰写、孤立新方法和新思想，以及引用他人相关的先前工作，”他们写道——并指出OpenAI的证明仍未得到验证。“与所有创造性职业一样，这引发了严重的署名和剽窃问题。此外，如果没有愿意承担其发展和融入数学正典的数学家，AI构想出的想法就永远不会真正活起来，数学家之间至关重要的人类传承链条也将丧失。”

随着其他数学家变得偏执，怀疑他们使用Codex的成果是否反过来被喂给了OpenAI的新模型，人们真正担心开放研究的文化将受到威胁。如今，如果前沿实验室看到一条有用的发现路径，他们可以花费数千万美元使用LLM抢在原研究者之前完成证明——这种动态将激励保密，而保密在历史上恰恰与数学应有的运作方式背道而驰。

这封信紧随数学家工作组于6月发布的《莱顿宣言》。该文件也探讨了LLM证明将如何改变他们的工作，并为数学家、机构和政策制定者提供了一系列建议，想必包括“也许等等同行评审”。

正如软件工程和其他AI工具正在改变工作流程的领域一样，数学家在工作之外的工作中找到了理由：数学的价值不仅在于证明和谁获得荣誉，还在于滋养学生、发现新问题和想法并将其融入更广泛人类文明的智力上层建筑。换句话说，答案不是重点——关于答案的争论才是重点。

如果你对高风险数学证明的残酷世界不太关心，别忘了：你的领域就是下一个。

“数学界现在面临的问题与其他科学和创造性职业面临的问题相似，并预示着全人类可能面临的问题：如何确保在AI改变工作方式的过程中，我们不会忽视这项工作最初旨在实现的目标，”他们写道。这是用最外交辞令的方式说：在你出现之前，我们本来做得挺好。