人类数学协会（Association for Human Mathematics，简称 AHM）发表公开声明，批评 OpenAI 集中发布 722 份 AI 生成的数学研究文稿，并呼吁数学家停止与 OpenAI 合作。这一声明的指向很明确：据未尽研究《日记》报道，OpenAI 于 10 月 6 日开放了这批文稿，归入 372 组结果并附上 Lean 形式化库，但次日就因符号错误撤回其中三篇。
争议的起点：722 份文稿是怎么发布的
据 GenAI Daily 报道，OpenAI 这次发布不是一篇论文，而是一批文稿：722 份手稿、372 组结果家族，加上配套的 Lean 库。这种发布方式在数学界并不常见，因为数学研究的惯例是先经过同行评审、再逐步公开，而不是一次性投放数百份未经外部验证的文本。
- 发布体量：722 份手稿，归入 372 组结果；
- 配套材料：Lean 形式化库，用于机器验证；
- 后续更正：次日因符号错误撤回三篇。
三篇因符号错误被撤回，恰恰说明问题所在。机器生成的证明可以在形式上自洽，却可能在关键步骤上出错，而错误只有在被人读懂、被人检验之后才会暴露。批量发布把检验环节推到了发布之后，顺序被颠倒了。
AHM 的核心主张
AHM 成立于 2026 年 9 月，由处于不同职业阶段的数学家自愿参与、集体运作，并非国际数学联盟等既有专业协会的官方分支。成员须承诺不为商业 AI 公司工作或提供研究支持，也不发表由 AI 生成的数学文本。
声明中有三点值得完整理解。第一，OpenAI 在未充分尊重数学界研究规范的情况下，利用尚未公开的专有模型批量攻克数学难题；第二，即使这些数学发现具有价值，也不能因此绕开科学研究所需要的理解、验证和学术责任；第三，OpenAI 所援引的数学与人工智能顾问小组此前已要求前沿 AI 公司停止用内部专有模型测试高级数学问题。声明中的一句话被广为引用：一次性发布 700 多份文件，不是在展示学术研究，而是在展示权力。
工具能力与学科规范之间的张力
这场争论的实质，不是 AI 能不能做数学，而是 AI 做出来的数学由谁负责。形式化验证工具可以证明一个命题在给定公理下成立，但无法替代对「这个结果为什么重要」的判断，也无法承担学术共同体的信用背书。
对研究体系而言，同行评审不只是质量过滤，更是责任分配机制。绕过它，就意味着把验证成本转嫁给整个学科：读者需要自己去判断哪一份文稿可信，而判断本身需要极高的专业门槛。
对一人公司创业者的三点提醒
- 产出速度不等于产出可信度：AI 让内容生产的边际成本趋近于零，但署名与责任无法外包；
- 发布顺序有价值：先验证、后发布，比先发布、后更正更能积累长期信任；
- 规范是资产而非负担：在一个供给过量的市场里，可核查、可追溯反而是稀缺的差异化能力。
这条逻辑对做内容的单人团队尤其适用。用 AI 把产量提上去很容易，难的是让别人相信你产出的东西。把核查流程写进工作流，短期看是成本，长期看是唯一能复利的资产。
数学界的分歧不止一种声音
需要说明的是，数学界对 AI 参与研究并非只有抵制一种态度。有研究者认为，AI 可以在形式化验证、反例搜索、文献比对等环节提供实质帮助，问题在于使用方式而非工具本身。AHM 的诉求也并非禁止 AI 参与数学，而是要求 AI 生成的结果走与人类研究相同的验证与署名程序。
分歧的真正焦点是节奏。学术界习惯于在经过审稿、复现、引用之后逐步接受一个结论，而 AI 的能力扩张速度远超这一流程的吞吐能力。当一批结果在几天内集中出现，学科现有的验证机制来不及消化，只能先表达抵触。
对内容生产者的可迁移经验
这场争论对做内容的人同样有参考价值。AI 把写作效率提升了数倍，但读者的信任仍然建立在一个朴素的假设上：发布者对内容负责。当发布量突然放大而核查资源没有同步增长时，读者的第一反应不是赞叹产能，而是怀疑质量。
更稳妥的策略是控制发布节奏，把产能优势用在单篇的信息密度上，而不是用在数量上。产量翻倍带来的流量收益是线性的，信任受损的代价却可能是台阶式的。
学术出版体系会怎么回应
这次冲突也把学术出版体系的应变问题摆上台面。论文投稿量在过去两年持续增长，其中包含越来越多由 AI 辅助生成的稿件，而审稿人力基本没有同步增加。部分期刊已经开始要求作者披露 AI 参与程度，但披露本身不解决验证问题——审稿人无法仅凭一份声明判断证明是否可靠。
更现实的路径可能在形式化工具这一侧。如果 Lean 一类工具能把验证环节前置到发布之前，机器可检验的部分交给机器，人类审稿的精力就可以集中在判断结果的意义与原创性上。OpenAI 附带 Lean 库的做法本身没有错，问题在于验证没有被要求跑完就先行发布。
常见问题
问：AHM 是官方数学组织吗？
答：不是。它是 2026 年 9 月成立的自愿参与组织，并非国际数学联盟等既有专业协会的官方分支。
问：OpenAI 的这批结果有错误吗？
答：据 GenAI Daily 报道，OpenAI 在发布次日因符号错误撤回了其中三篇，其余结果尚待外部验证。
问：为什么数学界反应这么强烈？
答：争议焦点在于发布方式绕开了同行评审与责任分配。同期也有菲尔兹奖得主警告，大规模生产数学证明可能破坏研究生态。
参考来源
- GenAI Daily（2026 年 10 月 9 日）
- AITOP AI 热报（2026 年 10 月 8 日）
- 人类数学协会公开声明
