RecodeX 重构消息,菲尔兹奖得主陶哲轩近日在个人博客转载人类数学协会(AHM)发布的声明,批评OpenAI无视数学界研究规范,并呼吁数学家停止与其合作。
争议源于OpenAI公开的一批数学研究手稿,其内部模型尝试解决约4000道数学问题,最终整理出涉及372组成果的研究材料,并公开了部分Lean形式化证明代码。
RecodeX 重构消息,菲尔兹奖得主陶哲轩近日在个人博客转载人类数学协会(AHM)发布的声明,批评OpenAI无视数学界研究规范,并呼吁数学家停止与其合作。
争议源于OpenAI公开的一批数学研究手稿,其内部模型尝试解决约4000道数学问题,最终整理出涉及372组成果的研究材料,并公开了部分Lean形式化证明代码。