OpenAI发布大量数学研究成果后,人类数学协会发表声明回应,称“数学家们并没有要求进行这项工作”,并呼吁数学家停止与OpenAI合作。声明发布后,AI与数学界的分歧在X上继续争论。菲尔兹奖得主陶哲轩在个人博客转载了声明,随后被网友说成由他领衔发出;但陶哲轩本人并不在该协会会员名单中。

陶哲轩转载抵制声明,数学界与OpenAI争论升温

人类数学协会的会员承诺包括:不向商业人工智能公司提供技术劳动力、数学知识、咨询或宣传服务;不发表由人工智能模型生成的数学文本,包括论文、评论、审稿报告、讲义、教学材料和书籍;反对人工智能小组的成员不在研究工作中使用人工智能模型。有人把声明交给AI检测工具Pangram,结果判断为100%由AI生成。网友也质疑该协会与OpenAI同样不负责,并认为“数学家们并没有要求进行这项工作”是最近读过的最滑稽、最荒谬的说法。协会目前有809名会员,多数是研究生,并非有重要数学成果的数学家。

针对OpenAI的批评也在继续。所谓722篇论文中,只有162篇论文的主要结果经过计算机验证。发布第二天,OpenAI撤下3篇手稿:一处符号错误使一个核心论证失效,并连带影响两篇依赖它的论文;另外14篇被修订,13篇更新了引用关系。OpenAI承认并非所有论文都采用Lean形式化方法,其GitHub仓库README提到“一些未形式化的结果可能存在问题。我们将努力尽快修复任何此类问题。”

声明还讨论数学研究的基本规则:作者是否理解证明、是否亲自核验、谁承担责任、论文如何引用和同行评审。批评者认为,OpenAI并不理解所发布内容,只是看到AI得出某个结论就公之于众。声明也提出,一个公司用公众无法访问的内部模型批量产生成果,再决定何时发布、发布什么,可能获得设定数学研究议程的权力。此外,还有由9位资深数学家组成的数学与人工智能咨询小组,以及由28位菲尔兹奖得主签署的数学宣言等。