菲尔兹奖得主点名批评 OpenAI，呼吁数学家停止与该公司合作
OpenAI 与数学界的紧张关系再度升级。 菲尔兹奖得主陶哲轩近日在个人博客转载了一份由人类数学协会（AHM）发布的声明，批评 OpenAI 无视数学界研究规范，并呼吁数学家停止与其合作。 争议源于 OpenAI 公开的一批数学研究手稿，其内部模型尝试解决约 4000 道数学问题，最终整理出涉及 372 组成果的研究材料，并公开了部分 Lean 形式化证明代码。 但成果规模并未换来学界一致认可。数学家关心的不只是证明是否正确，还包括推导能否被理解、是否充分引用前人工作，以及新方法能否经过同行讨论融入现有知识体系。 形式化验证可以检查逻辑推导，却不能自动替代对命题含义、研究贡献和学术背景的人工审查。“一次性发布 700 多份文件，展示的不是学术研究，而是权力。”声明称。（一财）
OpenAI 与数学界的紧张关系再度升级。 菲尔兹奖得主陶哲轩近日在个人博客转载了一份由人类数学协会（AHM）发布的声明，批评 OpenAI 无视数学界研究规范，并呼吁数学家停止与其合作。 争议源于 OpenAI 公开的一批数学研究手稿，其内部模型尝试解决约 4000 道数学问题，最终整理出涉及 372 组成果的研究材料，并公开了部分 Lean 形式化证明代码。 但成果规模并未换来学界一致认可。数学家关心的不只是证明是否正确，还包括推导能否被理解、是否充分引用前人工作，以及新方法能否经过同行讨论融入现有知识体系。 形式化验证可以检查逻辑推导，却不能自动替代对命题含义、研究贡献和学术背景的人工审查。“一次性发布 700 多份文件，展示的不是学术研究，而是权力。”声明称。（一财）
