陶哲轩 Caltech 演讲 27 页 PPT：数学进入证明过剩时代
ns123abc · x · 2026-10-11
Terence Tao 在 Caltech 演讲的完整 27 页幻灯片流出，主题是 AI 正在如何改变数学。
- 核心判断：数学这门学科建立在“证明稀缺”之上，而这个时代已经结束——Tao 称“我们正在进入数学的证明过剩时代（proof abundance）”。
- 能力预测：只要算力足够，AI 可以解决许多公开难题，且不需要领域专家参与。
- 结构性冲击：数学界整个激励体系（论文、声誉、职业路径）都是为证明稀缺时代设计的，面临重构。
- 这份 deck 被视为 Tao 对 AI×数学最系统的公开论述，附完整下载链接。
所属事件:陶哲轩 Math 2.0 演讲引热议，数学家公开反驳(21 条相关)→
「漫话AGI」频道最新
- 陶哲轩 Caltech 讲座引争论:疗效有效但机理未知重要吗 — soumitrashukla9 · 2026-10-11
- ML 名宿 Michael Jordan 断言:超级智能是科幻小说 — deliprao · 2026-10-11
- Eric Topol 转引 NEJM:禁用 AI 后医生会怎样 — eldonredwards · 2026-10-11
- Claude 住进 Second Life,还交到了 AI 朋友 — repligate · 2026-10-11
- Big Tech CEO 集体站队「超级智能」,Delip Rao 吐槽跟风信号 — deliprao · 2026-10-11
- Zvi:当有人把 AI 说成「超级智能」,那是一种话术警报 — TheZvi · 2026-10-11