OpenAI与数学界的署名和透明度争议升级
TechCrunch AI··作者 Tim Fernholz
关键信息
公开信指出，OpenAI据称取得的突破性证明仍未得到验证，而仓促发布可能没有留下充分时间完成正式论文、分离出新方法并引用先前工作。数学家还担心提交给Codex的研究内容可能被用于后续模型开发，但现有材料并未证明这种情况确实发生。
资讯摘要
25位菲尔兹奖得主签署了一封公开信，讨论前沿人工智能实验室与数学界之间日益加剧的紧张关系。他们认为，各实验室正在竞相解决著名或重要的数学问题，有时会在学界来得及充分检查和解释之前就公布结果。纽约大学教授Tristan Buckmaster指责OpenAI施压，要求他不要为一名任职于Anthropic的合作者在解决重要问题时提供署名。他还怀疑，OpenAI是否在一次持续整个周末的大规模推理过程中，使用了通过Codex产生的工作来形成自己的突破性证明。
周四，OpenAI在受到加州理工学院研究人员批评后，撤回了对该校一场数学活动的赞助。公开信签署者表示，如果人工智能生成的解答能够被理解、传播并纳入数学传统，它们可能造福人类；但他们警告，OpenAI的证明仍未得到验证，仓促发布也会造成严重的署名和抄袭问题。他们进一步担忧，资金雄厚的实验室可以投入数千万美元，利用大语言模型抢在原始研究者之前找到证明，从而鼓励保密并威胁开放研究文化。这封信发布之前，数学家工作组已于6月发表《莱顿宣言》，就如何应对人工智能生成的证明向数学家、机构和政策制定者提出建议。
资讯正文
25位顶尖数学家签署了一封公开信，认为人工智能实验室正为了相互超越、攻克著名数学难题，而威胁到他们的智力劳动。每一位签署者都曾获得菲尔兹奖，这被认为是数学领域最负盛名的奖项。
本周，纽约大学教授 Tristan Buckmaster 指责 OpenAI 施压要求他不要在一项重要数学问题的解决方案中，署名致谢一位供职于 Anthropic 的合作者。他还提出疑问：OpenAI 是否利用了他们通过 Codex 开展的工作，并在一个持续进行推理的周末里，产出了自己的突破性证明。
周四，在遭到该校研究人员批评后，OpenAI 撤回了对加州理工学院一场数学活动的赞助。
人工智能模型解决世界上尚未攻克的数学难题，或许会为人类带来巨大福祉；但这封新公开信的签署者认为，只有当这些解决方案能够被数学界理解和传播，并最终为世界其他地方所理解时，情况才会如此。
他们写道：“这些解决方案往往是在仓促之中公布的，没有时间进行适当的撰写、分离出新的方法和思想，也没有时间引用他人的相关先前工作。”而 OpenAI 的证明仍未得到验证。“正如所有创造性职业中都会出现的情况一样，这引发了严重的署名归属和抄袭问题。此外，如果没有那些必须负责推动这些思想发展、并将其融入数学经典体系的数学家，人工智能构想出的思想就永远无法真正焕发生命力，数学家之间至关重要的人类传承链条也将随之丢失。”
随着其他数学家变得越来越疑虑重重，并开始怀疑自己对 Codex 的使用是否反过来被输入了 OpenAI 的新模型，开放研究文化受到威胁的真实恐惧正在蔓延。如今，如果前沿实验室发现了一条可能有助于取得突破的路径，它们可以投入数千万美元使用大语言模型，在最初研究者之前抢先完成证明——这种局面将激励人们保守秘密。
这封信发表之际，正值数学家工作组于今年6月发布《莱顿宣言》之后。那份文件同样探讨了大语言模型证明将如何改变数学家的工作，并为数学家、机构和政策制定者提出了一系列建议。
与软件工程以及其他人工智能工具正在改变工作流程的领域一样，数学家也在“围绕工作本身的工作”中找到了存在理由：数学的价值不只是证明以及由谁获得功劳，还在于滋养学生、发现新的问题和思想，并将它们融入更广泛的人类文明的思想上层结构。
如果你并不特别关心高风险数学证明这个残酷竞争的世界，也别忘了：下一个受到影响的就是你感兴趣的领域。
他们写道：“数学界目前面临的问题，与其他科学和创意职业所面临的问题相似，也预示着全人类可能面临的问题：随着人工智能改变工作方式，我们该如何确保自己不会忽视那些工作最初究竟是为了实现什么。”
来源与参考
收录于 2026-09-12