722 份数学手稿风波：AHM 呼吁数学家断绝与 OpenAI 合作
验证：✔ 已核（AHM 声明经多源交叉，2026-10-12 核）。修正 1 处：底稿「陶哲轩任主席的人类数学协会（AHM）」→ 实为 Association for Human Mathematics 的声明以客座帖形式发表于陶哲轩博客；陶个人是否背书抵制未获确认，勿写成「陶哲轩呼吁抵制」。撤回三篇为二手转述。
时间线
| 日期 | 节点 |
|---|---|
| W38-39 | 背景：Navier–Stokes 解答 + 25 位菲尔兹奖得主联署批评竞逐数学难题、OpenAI 退出 Caltech 赞助 |
| 10-6/7 | OpenAI 公开内部前沿模型产出的 722 份数学手稿（372 个成果族，附 Lean 形式化与推理摘要）：模型在评测中提出约 4000 个开放研究问题、平均每成果耗约 3 小时 ChatGPT Pro 思考算力；发布方式参考独立数学顾问组建议 |
| 10-7~8 | AHM 声明（客座帖发于陶哲轩博客）：「数学家并没有要求做这项工作，一次性发布 700 多份文件不是学术展示，而是权力展示」——呼吁数学家停止与 OpenAI 合作 |
| 10-9 | 发布次日 OpenAI 因符号错误使关键论证失效，撤回其中三篇手稿（⚠二手）；此前顾问组已指出成果「达不到人类理解的标准」 |
关键事实
- 722 份/372 成果族、约 4000 个开放问题、平均 3 小时 Pro 算力/成果——数学线从 NS 单点（9-9）进入批量公开阶段
- AHM 声明原话：“Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power”
- 25 位领先数学家（W39 菲尔兹联署线）持续施压
- 官方顾问组自评：工作「falls short on human understanding」
为什么重要（多角度）
- 学界反弹从联署升级到断合作：W39 是集体声明批评，本周是机构级「呼吁断绝合作」——AI 与数学界的关系从摩擦进入对抗；
- 「批量产出 vs 同行评议」的范式冲突：数学界的方法论是慢验证（数月/数年），AI 实验室的方法论是快发布（一次性 722 份）——两种时间观的碰撞，撤回三篇恰好证明验证环节不可省；
- 顾问组建议被选择性执行：OpenAI 采纳了「公开」的建议，但顾问组同时指出的「人类理解不达标」被搁置——治理建议的菜单式执行；
- 陶哲轩博客作为发表地的信号：AHM 选择 Tao 的博客发声（无论 Tao 个人立场如何），说明数学社区的舆论中枢仍在传统权威节点。
各方反应
- 数学界：AHM 声明被广泛转发；W39 联署者跟进声援
- OpenAI：未直接回应 AHM；撤回三篇是事实性动作
- AI 圈：「权力展示」表述被大量引用讨论
来源分级
- ✔ 一手：OpenAI GitHub 数学手稿仓库（722 份，10-6/7）
- ✔ 一手：terrytao.wordpress.com（AHM 客座声明原文）
- ⚠ 二手：撤回三篇（转述）；the-decoder/framesignal 等报道
写作钩子（我们独有的）
- 《722 份论文砸向数学界之后》——W39《控制不住了》系列的数学分支续集：从 NS 解答→菲尔兹联署→AHM 断合作→撤回三篇，四周完整冲突弧线；
- 「3 小时 Pro 算力换一个成果」的经济学 vs 「数月人类验证」的经济学——两种科研时间观的定价对比；
- 教读者分辨「陶哲轩博客发表」≠「陶哲轩背书」——信息传播中权威借用现象的活案例（呼应我们三级核实方法论）。