陶哲轩博客刊文:AI 时代数学该「快数学」还是「慢数学」
littmath · x · 2026-09-16
数学家 Ben Antieau 受 Terry Tao 邀请在陶哲轩博客发表客座文章《Fast math / slow math》,回应数学界对 LLM 冲击研究的深层不安。
核心论点:
- 数学界近月的焦虑本质是经济性的:LLM 能产出数学陈述与证明,数学家担心自己过时、学生找不到工作、经费和大学抛弃他们。
- 他的回答是否定的:数学不是「真命题的集合」,不可能像人类经验一样被「解决」。
- 他借「快餐 vs 慢食」运动作类比,主张两者并行:LLM 适合加速的「快数学」,而数月甚至数年沉淀的个人理解、追着一个定理跑的兴奋、看着博士生证明出第一个定理——这些「慢数学」不可替代。
- 他把数学工作分为三类:获取知识、创造知识、传递元知识(让他人也具备前两种能力),并认为第三类最难被自动化。
这是迄今数学界对 LLM 角色最有分量的正面回应之一,出自顶级博客,值得完整阅读。
「漫话AGI」频道最新
- 训练数据即另一种监管：加上容易，撤销几乎不可能 — yunta_tsai · 2026-09-16
- OpenAI 研究副总裁 Mark Chen：前沿之外不存在 AI 竞赛动态 — deanwball · 2026-09-16
- Gary Marcus 上 BBC:Altman、黄仁勋、Sanders 各执极端,没人说真话 — GaryMarcus · 2026-09-16
- 《人类建造的最后一代 AI》论文提出递归自我改进路线图 — Yi Duan · 2026-09-16
- tszzl：Astra 写的代码已无人能读懂，「可纠正性」全凭信仰 — tszzl · 2026-09-16
- dhh：比起 p(doom)，更该讨论 p(abundance)，马斯克回应称认同 — markjeffrey · 2026-09-16