❯ 陶哲轩转载人类数学协会声明，呼吁数学家停止与 OpenAI 合作

菲尔兹奖得主的转载菲尔兹奖得主陶哲轩近日在个人博客转载了人类数学协会（AHM）的一份声明。据新浪科技 10 月 9 日报道，声明批评 OpenAI 无视数学界的研究规范，呼吁数学家停止与其合作，其中写道：“一次性发布 700 多份文件，展示的不是学术研究，而是权力。”

争议从一批手稿开始起因是 OpenAI 公开的一批数学研究手稿。报道称，其内部模型尝试解决约 4000 道数学问题，整理出涉及 372 组成果的材料，并公开了部分 Lean 形式化证明代码。Lean 是一种能让计算机逐步检查证明的工具。据爱范儿报道，722 篇手稿中只有 162 篇的主要结果经过计算机验证，发布第二天 OpenAI 撤下 3 篇，另有 14 篇被修订。

数学家在意的不只是对错报道归纳了学界的关切：推导能否被人理解，前人工作是否被充分引用，新方法能否经过同行讨论融入现有知识体系；形式化验证能检查逻辑，却替代不了对命题含义和研究贡献的人工审查。9 月 29 日，数学与人工智能咨询组（AGMAI）曾建议实验室不要用外界无法访问的内部模型测试高难度数学问题。OpenAI 称此次发布参考了这些建议，AHM 认为它忽视了建议的核心前提。

也有不同声音爱范儿提到，陶哲轩本人不在 AHM 的会员名单里，该协会今年 8 月成立，约 800 名成员。西北大学数学家布赖娜·克拉认为，AI 有望帮助研究者探索过去难以解决的问题，但企业应以更符合学术规范的方式发表成果。成果由机器批量产出，核验、修订和整合的工作量却落在了学术共同体身上。

▮ SIGNALAI 让证明的生产成本急剧下降，理解和验证的成本没有同步下降，这个落差会先在数学界显现，再扩散到其他学科。