知识卡片：陶哲轩转载抵制OpenAI声明，数学界分歧公开化

一句话结论

2026年10月7日，陶哲轩在博客全文转载人类数学协会（AHM）抵制OpenAI的声明，将数学界对OpenAI大规模发布AI生成数学成果的争议推向公开化；但数学界内部立场并不一致，抵制策略本身也受到质疑。

事件概述或研究问题

• 陶哲轩于10月7日在博客全文转载人类数学协会（AHM）声明。该声明批评OpenAI大规模发布未经数学界消化的成果，呼吁数学家停止与其合作。材料明确陶哲轩并非该声明起草人。
• 导火索为OpenAI于10月6日在GitHub公开722篇AI生成的数学手稿。
• 争议核心：AI公司以规模化方式产出数学成果，与数学界消化、核验、理解知识的节奏与规范之间的张力。

方法/产品要点

• OpenAI公开的仓库：截至10月7日保留719篇（原722篇）。
• 验证状态：约42%主要结论完成形式化验证；已撤回3篇、修订14篇。
• 相关方立场：
  • 咨询小组AGMAI声明其工作不代表认可OpenAI做法。
  • 菲尔兹奖得主海雷尔认为，拒绝接触难以影响AI公司。
  • 陶哲轩9月曾与另24位菲尔兹奖得主联名发布警告声明。

主要结果或产业意义

• 数学界对AI公司大规模产出数学成果的态度出现公开分歧：一方主张停止合作以表达立场，另一方（如海雷尔）质疑拒绝接触的实际影响力。
• OpenAI仓库的高撤回/修订比例（3篇撤回、14篇修订）与仅约42%主要结论完成形式化验证，显示规模化产出与可核验性之间存在明显落差。
• 咨询小组AGMAI主动切割，表明即便在合作框架内部，也存在对OpenAI做法的保留意见。

为什么重要

• 这是继2026年9月25位菲尔兹奖得主联名警告之后，数学界与AI公司关系的又一次公开升级：从“警告 misalignment”走向“呼吁停止合作”的具体行动倡议。
• 它把此前关于“722篇手稿读不过来”的讨论，从可读性/可核验性问题，推进到数学共同体是否应与AI公司合作的组织性表态。
• 陶哲轩的角色值得注意：他并非声明起草人，但通过全文转载放大了声明的传播，显示其立场与AHM声明存在呼应但不等同。

局限与不确定性

• AHM声明的具体成员构成、代表性范围待核实。
• “呼吁数学家停止与其合作”的具体范围与约束力待核实。
• 陶哲轩转载是否附带个人评论、其个人立场与AHM声明的异同待核实。
• 42%形式化验证的具体验证标准与方法待核实。
• 海雷尔表态的完整语境与出处待核实。

可用于图书/PPT/简报的角度

• “AI规模化产出 vs 学术共同体消化能力”的冲突案例。
• 数学界内部对AI公司态度的分歧图谱：抵制派 vs 接触派。
• 从9月联名警告到10月抵制声明的时间线，展示争议升级路径。
• 形式化验证作为AI数学成果质量门槛的实践数据（42%、3篇撤回、14篇修订）。

与既有脉络的关系

• 延续“陶哲轩、邓煜等25位菲尔兹奖得主就AI与数学发布紧急声明（2026-09-12）”：该卡片记录的是警告 misalignment，本卡片记录的是一个月后从警告走向抵制呼吁的升级。
• 延续“OpenAI公开722篇数学手稿引数学界‘读不过来’讨论（2026-10-07）”：该卡片聚焦产出的规模与可读性，本卡片补充了数学界的组织性回应（AHM声明、AGMAI切割、海雷尔质疑）以及仓库的最新验证数据。
• 增量信息：数学界分歧的公开化、AHM声明的具体诉求、AGMAI的立场切割、海雷尔的反驳、陶哲轩转载但非起草人的角色定位。

原始材料

• 来源：腾讯研究院AI速递 20261010
• URL: https://m.sohu.com/a/1085715291_455313?scm=10001.325_13-325_13.0.0-0-0-0-0.5_1334
• Track: industry
• Topics: ai-industry