Grant Sanderson（3Blue1Brown）¶
- 背景: 数学可视化频道 3Blue1Brown 创始人，最有影响力的数学科普者之一；2026 年在制作"AI 与数学"纪录片系列（为此持续采访数学家一年以上）。
- 出现于: Dwarkesh Podcast
核心观点¶
- AI 前沿是分形尖刺：数学是 AI 的尖刺，尖刺内部又不均匀（几何秒解、组合仍难）。（AI disproved a conjecture 00:01:03）
- 猜想/定义能力无法 benchmark 化（"benchmark 和训练环境没有本质区别"），只能靠数学家社区的"语气变化"感知。（同上 00:08:15–00:11:19）
- Galois 案例说明真正的概念突破可能有百年验证回路，当时的人类"验证器"也持续给出负奖励；奖励这种直觉也许要度量概念的压缩力。（同上 00:12:25–00:24:49）
- proof ≠ explanation：数学有"未解决的阐释问题"；他曾以为数学家会转型解释者，现在认为 AI 解释也会更强，人类剩下策展人与关系性的教学角色。（同上 00:31:58–00:38:15、01:25:45）
- 自回归生成的奇特性："锁在盒子里逐词预测"使模型成为上下文的奴隶，而跨域连接恰是低概率 token；破局靠数据/环境设计而非架构。（同上 00:41:22–00:45:32）
- 数字心智的真优势是系统性操纵上下文（并行的证明者/反证者、不同启发式偏见），而非单点智能。（同上 00:47:34–00:52:44）
- 用 LLM 学习："问 who 不问 what"——LLM 像 Wikipedia，当超级 Google 用，找到人类作者精心编排的动机线索。（同上 01:16:26–01:19:29）
已收录视频¶
| 日期 | 视频 | 主题 |
|---|---|---|
| 2026-06-30 | AI disproved a famous math conjecture. Now what? | AI 与数学的现状、下一个里程碑、数学家的未来 |