OpenAI与数学家的不和只会愈演愈烈

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