二十五位顶尖数学家签署了一封公开信，认为AI实验室在争相用著名数学问题的解答互相压过对方的过程中，正在威胁他们的智力工作。每位签署者都曾获得菲尔兹奖——被视为数学领域最负盛名的奖项。
本周，纽约大学教授特里斯坦·巴克马斯特指控OpenAI向他施压，要求他不要将解决一个重要数学问题的功劳归于一位为Anthropic工作的合作者，并怀疑该公司是否利用他们与Codex的合作成果，在一个马拉松式的推理周末中产出了自己的突破性证明。
周四，在遭到加州理工学院研究人员的批评后，OpenAI撤回了对该校一场数学活动的赞助。
尽管AI模型解决世界未解数学难题的能力可能造福人类，但这封新公开信的签署者认为，只有当这些解答能够被数学界乃至最终被世界其他地方理解和传达时，情况才会如此。
“这些解答往往仓促公布，没有时间进行恰当的撰写、孤立出新的方法和思想，并引用他人相关的先前工作，”他们写道——而OpenAI的证明仍未得到验证。“与所有创造性职业一样，这引发了严重的署名和剽窃问题。此外，如果没有愿意承担其发展并将其融入数学正典的数学家，AI构想出的思想就永远不会真正活起来，数学家之间至关重要的人类传承链条也将丧失。”
随着其他数学家变得愈发多疑，怀疑自己对Codex的使用是否反过来被喂给了OpenAI的新模型，人们真切地担心开放研究的文化将受到威胁。如今，如果前沿实验室看到一条通往发现的有用路径，它们可以花费数千万美元使用LLM抢在原始研究者之前得出证明——这种态势将激励保密。
这封信紧随数学家工作组于6月发布的《莱顿宣言》。该文件也探讨了LLM证明将如何改变他们的工作，并为数学家、机构和政策制定者提供了一系列建议。
正如软件工程和其他AI工具正在改变工作流程的领域一样，数学家在与工作相关的工作中找到了理由：数学的价值不仅在于证明和谁获得功劳，还在于滋养学生、发现新问题和新思想、并将其融入更广泛人类文明的智力上层建筑。
而如果你并不特别关心高风险数学证明的残酷世界，别忘了：你感兴趣的领域就是下一个。
“数学界现在面临的问题与其他科学和创造性职业面临的问题相似，并预示着全人类可能面临的问题：如何确保在AI改变工作方式的过程中，我们不会忘记这项工作最初旨在实现什么，”他们写道。