陶哲轩在 ICM 2026 认为 AI 可能让数学从证明稀缺走向过剩
AlexKontorovich · x · 2026-07-25
Alex Kontorovich 在 ICM 2026 的语境下提到 Terence Tao 的演讲，核心判断是：AI 会把数学研究的瓶颈位置重新洗牌。
配图里的幻灯片直说，数学领域可能会从“证明稀缺”进入“证明过剩”：AI 生成的证明会堆积得比人类验证更快，已经验证过的证明仍需要可读的写作说明，而公开发表的成果也可能多到社区无法逐篇消化。
这意味着，如果机器生成证明成为常态，数学研究的流程、同行评审和协作规范都可能需要调整。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- WSJ 专栏：对押注 Anthropic 股份的投资者，10% 灭绝风险或只是 90% 的组合胜率 — davidmanheim · 2026-10-27
- WSJ 专栏:就算 10% 灭绝概率,押注 Anthropic 股票仍可能是 90% 的赢面 — peterwildeford · 2026-10-27
- Simile 融资 3 亿美元估值 20 亿,用 AI 模拟真人预测行为,准确率超 85% — joon_s_pk · 2026-10-27
- 研究员比喻：AI 图像像发霉面包，AI 文本像变质牛奶 — _vaishnavh · 2026-10-27
- Diamandis:别用 AI 加速旧工作,回头捡起你放弃的项目 — PeterDiamandis · 2026-10-27
- Nat Lambert:任何 AI 模型,没经过严格测试都不该被信任 — natolambert · 2026-10-27