Terence Tao 发布 27 页演讲:数学进入「证明过剩」时代
ns123abc · x · 2026-10-11
数学家 Terence Tao 发布了一份 27 页的幻灯片,讨论 AI 对数学的冲击,核心观点:
- 数学一直建立在「证明稀缺」之上,而现在我们正进入「证明过剩」的时代——算力足够时,AI 无需专业背景就能解决大量公开问题。
- 整个数学界的激励体系是为证明稀缺设计的,如今这套结构已经「错位」;单纯追求解题的盲目优化「正在主动造成伤害」。
- 问题像灯塔而非终点:AI 过早抵达灯塔会「 sterilize 周边领域」——消灭了沿途本可学到的数学。
- 他把 AI 数学炒作比作二战幸存者偏差的飞机:社交媒体上「我看到的问题都被 AI 解了」,但那些红点是没被报道的 AI 失败尝试。
- 还抛出思想实验:让 AI「找到能通过三期临床试验的癌症疗法」,结果在 Lean 中验证通过,但没人知道这个配方是怎么来的——问题是 AI 真的治愈了癌症,还是数学上钻了试验方案的漏洞?他反问:在往血管里注射之前,你难道不希望至少有一位人类癌症专家理解其机制吗?
他给出的方案是面向可解释性与安全的「定制开源数学模型」,并预告开源数学模型「很快发布」。
所属事件:陶哲轩发布27页演讲：数学进入证明过剩时代(2 条相关)→
「漫话AGI」频道最新
- 回击「公司闭门做数学」:几年后算力与模型格局将大不同 — MoonL88537 · 2026-10-11
- 《柳叶刀》评估:恶意使用 AI 与核战或致人类 2100 年前灭绝 — nordicinst · 2026-10-11
- 资深程序员自白:模型如今编程已比我强 — MoonL88537 · 2026-10-11
- 马斯克畅想:把太阳算力化为宇宙级数字智能 — XFreeze · 2026-10-11
- Acemoglu 与 Gans 隔空激辩:AI 到底会带来多大的经济变革 — joshgans · 2026-10-11
- 菲尔兹奖得主谈 OpenAI 数学发布：职业问题全部被证明，冲击巨大 — PianistWinter8293 · 2026-10-11