# Grant Sanderson 谈 AI 与数学：IMO 金牌不是 AGI，但数学会最先撞上超级智能

> 原标题：Grant Sanderson – AI and the future of math

- 来源：Dwarkesh Patel 播客
- 发布时间：2026-06-30T15:53:19.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/42666
- 原文：https://www.dwarkesh.com/p/grant-sanderson-2

## 摘要

Grant Sanderson 跟 Dwarkesh 聊了聊为什么 AI 拿了国际奥数金牌却没变成 AGI。几何题能被暴力穷举 19 秒搞定，但组合数学题还是会把模型绊倒，能力边界是锯齿状的。他指出，一个概念性突破的验证周期可能长达一个世纪，就算 AI 证出了黎曼猜想，人类也可能根本看不懂。把文献里已有的想法串联起来，这里藏着巨大的潜力还没挖，但现实世...

## 推荐理由

Sanderson 拆解 AI 做数学的方式很实在，没有吹也没有踩。他说的“奥数金牌≠AGI”是个反直觉但站得住脚的判断，而且用几何 19 秒暴力求解、组合数学依然卡壳这种具体例子撑住了。验证周期可能拉到一个世纪这点，正文没展开讲具体依据，但逻辑上说得通——如果 AI 证出黎曼猜想但人类看不懂，那确实没法立刻当真理用。我会先打个折：这期对话偏观点输出，没有新实验数据，但对想理解模型能力边界的人来说，比看 benchmark 涨几个点更有启发。

## 锐评

Grant Sanderson 跟 Dwarkesh 聊的核心判断很直白：别把数学竞赛当 AGI 进度条。2024 年 AI 在 IMO 上差一点拿金，原因是那年几何题多——几何能用暴力搜索 19 秒解掉，但组合数学题一多就露怯。这说明模型的能力不是平滑的，而是像锯齿一样，有些地方突得厉害，有些地方还陷着。

他点出了一个容易被忽略的“文献串联红利”：把数学文献里已有的想法系统地连起来，还有巨大潜力没挖。但现实世界的任务不像强化学习环境那样有清晰的奖励信号，AI 写不出好文章，因为它缺“心智理论”——不知道读者脑子里在想什么。这点先别太激动，正文没给出具体串联成果的案例，更多是方向判断。

另一个关键提醒是验证周期。一个概念性突破从提出到被人类消化，可能拖上百年。就算 AI 真把黎曼猜想证了，如果人类看不懂，那它在数学共同体里的“生效”时间会极长。这对“AI 一夜颠覆某领域”的叙事是个实在的降温。信息缺口在于：他没展开 AI 目前到底串联出了什么，以及人类看不懂的证明该怎么验收。