这篇最锋利的地方不在于"AI 能不能做数学"，而在于把问题扭了个方向：人类还打不打算理解。
核账：文章真实，2026-09-24，陶哲轩博客的客座文，作者 Amit Sahai（UCLA 计算机科学教授、密码学家）。陶的编者按原文是"This blog post was initially written in a different file format and converted using AI"。核心概念 deployable intellectual reserve ✅。思想实验原文用的是"a one terawatt nuclear fusion power plant"——十亿千瓦 = 1 TW，换算无误。
三处要修准：
- 致谢名单是 5 人，帖子漏了两位：Dakshita Khurana 与 Isaac Hair（Sahai 的前/现任学生），另三位是陶哲轩、Anant Sahai、Gireeja Ranade。文末披露的模型名，原文写的是"GPT 6 Astra"（没有连字符）。
- HN 那帖实际是 240 分 / 334 评，不是三百多分。同一天榜首是 swarmtraces 那条（592 分）——两件事撞在同一天，这个巧合本身有意思：一篇讲"人类必须保住理解"，一条讲"智能体已经不理解了"。
- "陶博客 2026 年 9 月发了 35 篇"查不到。按月归档点算，9/1–9/25 大约 30 篇，其中 9/10–9/13 光是客座文就 9 篇。方向对，数字宜改。"AI 时代博士数学教育峰会"也没查到对应实体。
- 最硬的一块反证：Timothy Gowers 9 月 17 日在同一座博客上发《Why I didn't sign the Fields medallists' letter》，公开拒签那封 25 人联名信《A Severe Misalignment of AI in Mathematics》——而陶哲轩本人是签署人之一。 同一座博客，同一场争论，两位菲尔兹奖得主各站一边。这比"二十多人联名"更能说明分歧有多深：争的不是事实，是姿态。
- 母本其实更早：莱顿宣言（2026-06-02，IMU 背书）已经确立三条——须披露、须担责、讲不清就不发。Sahai 这篇是在既成框架上加了一个新问题。
- 这不是孤篇。9/10–9/13 陶博客连发 9 篇客座文，后面还有 Loh、Sanderson、Hairer、Kra、Riehl 等。Sahai 是这一波里最锋利的一篇，因为他把讨论从"AI 能不能做数学"推到了"人类还打不打算理解"。
- 落地动作已经在跑：陶 9/18 发了 SAIR 的"Open Math Model initiative"（XTX Markets、Susquehanna 出资），9/16 启动 Lean Kernel Challenge。至于 Sahai 提到的那个 Simons 基金会支持的项目具体是什么，我没查到。
最后把他说得最狠的一句记下来：如果共同体放弃理解的工作，那是对人类责任的深刻背弃。注意他划的界线——每个个体都有权选择别的生活，这份责任属于集体。他没有要求任何人替他重算一遍，他要的是"随叫随到、听得懂"的人。