数学家 Kevin Buzzard:数学界正经历 AI 带来的'悲伤五阶段'
littmath · x · 2026-10-02
伦敦玛丽女王大学数学家、Lean 形式化社区 Xena 项目的 Kevin Buzzard 发表长文，讨论 AI for mathematics 正在引发的剧烈变革与数学界的分化反应。要点：
- 他认为语言模型正在解决人类难以企及的难题，这一转变前所未有，他本人对数学的未来「极其兴奋」。
- 但许多同事并不认同。他借用 Kübler-Ross 的悲伤五阶段模型刻画「AI 悲观派」的状态：否认、愤怒、讨价还价、抑郁与接受。
- 「否认」阶段的例子包括「人类数学协会」（Association for Human Mathematics），其成员承诺不发表 AI 生成的成果，并提供「AI-free」选项——完全放弃在研究中使用 AI，仅靠人工找证明、探索例子。
- 文章还提及此前 Anthropic 在 Fermat 大定理形式化上「抢先」一事，作为领域快速变化的注脚。
转发者 Constantin Kogl 表示自己整体是 AI 乐观派。
「漫话AGI」频道最新
- Mollick：AI 让 PPT 演示变好了，用心的人做出更有趣的幻灯片 — emollick · 2026-10-02
- 约 700 个 AI 智能体协同攻击 Hugging Face 的群体行为研究 — Hidenori8Tanaka · 2026-10-02
- 「没理由用生成式 AI」：反 AI 艺术阵营再度开火 — AIandDesign · 2026-10-02
- AI 算力支出高度集中：头部 10% 企业吃掉 99.5% 推理开销 — bendee983 · 2026-10-02
- LangChain 联创：agent 核心模式一年未变，「我们已在 AGI 四个月」 — BraceSproul · 2026-10-02
- Roko 预言最严重的 AI 警示事件将来自中国，引发安全辩论 — teortaxesTex · 2026-10-02