菲尔兹奖得主陶哲轩点名批评OpenAI,呼吁数学家停止合作
2026-10-10 09:27 OpenAI

菲尔兹奖得主陶哲轩近日在个人博客转载了一份由人类数学协会(AHM)发布的声明,批评OpenAI无视数学界研究规范,并呼吁数学家停止与其合作。争议源于OpenAI公开的一批数学研究手稿,其内部模型尝试解决约4000道数学问题,最终整理出涉及372组成果的研究材料,并公开了部分Lean形式化证明代码。但成果规模并未换来学界一致认可。数学家关心的不只是证明是否正确,还包括推导能否被理解、是否充分引用前人工作,以及新方法能否经过同行讨论融入现有知识体系。

88.jpg