Grant Sanderson：AI 与数学的未来
数学将是人类最先见证超级智能涌现的领域。本文将探讨这种智能会以怎样的形态呈现，以及它将如何重塑数学研究的未来。格兰特·桑德森从AI与数学交叉的视角，为我们揭示了一幅令人深思的前景图。
背景速读
- Grant Sanderson（3Blue1Brown 频道主创）以精美的数学可视化动画闻名，在 YouTube 拥有超过 600 万订阅者。他的内容常被用于大学和自学场景，影响力远超一般科普博主。
- 他与 Dwarkesh Patel 的这次对谈聚焦于一个核心命题：数学领域最可能率先见证超级智能（superintelligence）的诞生。理由在于数学问题有明确的对错判定、可形式化验证，且解题过程可以无限拓展——这比"通用智能"更容易评估和加速。
- 讨论涉及 AI 在数学研究中的两种角色：一是作为"计算放大器"帮助人类探索猜想；二是作为独立数学家，自动发现并证明定理。Sanderson 对后者持谨慎态度，认为当前 LLM 缺乏真正的数学直觉和严谨推理能力。
- 谈话也延展到教育层面：如果 AI 能解题，人类学数学的意义何在？Sanderson 认为数学的核心价值在于培养抽象推理和审美判断，而非纯粹计算——这些能力在 AI 时代反而更珍贵。