陶哲轩称 AI 正把数学带入证明丰裕时代
lmthang · x · 2026-07-25
Terence Tao 在这场演讲里把数学工作拆成五个阶段：证明生成、证明验证、表述、发表、定理化。他认为 AI 现在已经很擅长第一步，也在第二步上取得进展，但后面几步仍然高度依赖人类。
- Tao 的核心判断是：数学正在从 “证明稀缺” 进入 “证明丰裕” 时代。
- 真正难的已经不只是“想出证明”，而是把证明整理成清晰可沟通、可被接受、最终能进入教材和学科正典的形式。
- 这条线索指向一个更大的目标：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