25位顶尖数学家签署了一封公开信，指出AI实验室在竞相用著名数学问题的解答相互较劲之际，正在威胁他们的智力成果。每位签署者都曾获得被视为数学界最崇高奖项的菲尔兹奖（Fields Medal）。
本周，纽约大学（NYU）教授Tristan Buckmaster指控OpenAI向他施压，要求他不要为一位解决重要数学问题的合作者——后者任职于Anthropic——署名，并质疑该公司是否在一场马拉松式的周末推理中，利用他们与Codex协作的成果产出了自己的突破性证明。
周四，在遭到该校研究人员的批评后，OpenAI撤回了对加州理工学院（CalTech）一场数学活动的赞助。
尽管AI模型解决世界未解数学难题的能力对人类而言可能是福音，但这封新公开信的签署者认为，只有当这些解答能够被数学界理解与传播、并最终为世界其他地方所理解时，这种益处才会真正实现。
他们写道：“这些解答往往仓促公布，没有时间进行正式的论文撰写、提炼新方法与新思想，以及引用他人的相关先前工作”——而OpenAI的证明至今未经验证。“正如所有创意行业一样，这引发了严重的署名与剽窃问题。此外，如果没有自愿的数学家来负责这些成果的发展并将其融入数学正典，AI构想的理念将永远无法真正鲜活起来，数学家之间关键的人类传承链条也将断裂。”
随着其他数学家日益多疑，担心自己使用Codex的记录反过来被输送进OpenAI的新模型，开放研究文化将受到威胁的担忧真实存在。如今，如果前沿实验室看到通往某项发现的有用路径，他们可以花费数千万美元，利用LLM抢在原始研究者之前得出证明——这种态势将助长保密之风。
这封公开信是在今年6月由数学家工作组发布的《莱顿宣言》之后发布的。该文件同样探讨了LLM证明将如何改变数学家的研究工作，并为数学家、机构和政策制定者提供了一系列建议。
正如在软件工程及其他AI工具正在改变工作流程的领域一样，数学家在“工作周边的工作”中找到了正当性：数学的价值不仅在于证明本身以及谁获得署名，还在于滋养学生、发现新问题与新思想、并将其融入更广泛人类文明的知识上层结构。
如果你并不特别关心高风险数学证明这一残酷世界，别忘了：你感兴趣的领域就是下一个。
他们写道：“数学界现在面临的问题与其他科学和创意行业面临的问题相似，也预示着全人类可能面临的问题：当AI改变工作的完成方式时，如何确保我们不忘记这项工作最初想要实现的目标。”
- Anthony Ha