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

Grant Sanderson – AI and the future of math

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

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