AI与数学家矛盾激化：学术争议升级
数学界集体发声：AI威胁学术工作
二十五位顶尖数学家近期签署了一封公开信，指责人工智能实验室在竞相解决著名数学问题时威胁到了他们的智力工作。每一位签署者都曾荣获被视为数学界最高荣誉的菲尔兹奖。
OpenAI陷入学术诚信争议
本周，纽约大学教授特里斯坦·巴克马斯特指控OpenAI向他施压，要求他不要提及一位在Anthropic工作的合作者对解决重要数学问题的贡献。他还质疑该公司是否利用与Codex合作的工作成果，在一个周末的推理过程中生成了自己的突破性证明。
此前，OpenAI曾撤回对加州理工学院数学活动的赞助，原因是该公司受到了该校研究人员的批评。
AI数学证明的隐忧
虽然AI模型解决世界级数学难题的能力可能造福人类，但这封信的签署者认为，只有当这些解决方案能被数学界理解并传播，最终才能造福全世界。
他们在信中写道：”这些解决方案常常被仓促宣布，没有时间为撰写完整的报告、分离新的方法和思想，以及引用他人相关的前期工作留出时间。”他们指出，OpenAI的证明至今仍未得到验证。”就像所有创意行业一样，这引发了严重的归属和剽窃问题。此外，如果没有愿意负责AI产生思想的开发和整合，并将其纳入数学体系的数学家，AI构思的想法永远不会真正实现，数学家之间关键的人类传承链条将会断裂。”
开放研究文化面临威胁
随着其他数学家变得警惕，担心他们的Codex使用是否被反过来用于OpenAI的新模型，人们真正担忧的是开放研究文化将受到威胁。如今，如果前沿实验室看到一条通往发现的捷径，他们可以花费数千万美元利用大语言模型(LLM)抢先完成原始研究人员的证明——这种动态将鼓励保密。
这封信是继6月数学家工作小组发布的《莱顿宣言》之后的又一重要文件。该文件同样探讨了LLM证明将如何改变数学家的工作，并为数学家、机构和政策制定者提供了一系列建议。
数学价值的本质
正如软件工程和其他AI工具改变工作流程的领域一样，数学家们在他们工作之外的工作中找到了合理性：数学的价值不仅在于证明和谁获得荣誉，还在于滋养学生、发现新问题和思想，并将它们融入更广泛的人类文明。
数学家们在信中写道：”数学界现在面临的问题与其他科学和创意行业面临的问题相似，也预示着全人类可能面临的问题：如何确保随着AI改变工作方式，我们不会忘记工作最初旨在实现的目标。”
对于那些特别不关心高风险数学证明的残酷世界的人来说，不要忘记：你感兴趣的领域将是下一个。
关注微信号：智享开源 ，及时了解更新信息。
原文链接：https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating/
公众号：智享开源
还没有任何评论，你来说两句吧！