ICM2026 讲座：数学是一条五步流水线，AI 只覆盖前两步
lmthang · x · 2026-07-26
- 这场 #ICM2026 讲座的完整 slide deck 已经放出。
- 讲座把数学理解为一条 五步流水线：证明生成、验证、阐述、发表，最后进入教材化/经典化，成为后世可继承的知识。
- 其中一个核心判断是：AI 在生成这一步已经做得不错，在验证上也在快速进步。
- 但后面的 阐述、发表、经典化 仍然更依赖人类机构、标准和长期共识。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「研究」频道最新
- TRL 上线 Score Centering：直击 RL 训练不稳定的根因 — lvwerra · 2026-10-27
- Latent-Foresight:让世界模型学着预判自己的未来 — abursuc · 2026-10-27
- 英国 AISI 发文：现有手段不足以防生物 AI 工具被滥用 — davidmanheim · 2026-10-27
- CMU 发布 XYBench:LLM 只答字面问题,常无视用户真实需求 — valentina__py · 2026-10-27
- arXiv 前主席提示:投稿主分类选错,论文几乎必被搁置 — tdietterich · 2026-10-27
- arXiv 积压超 4000 篇论文被搁置，版主致歉并给出避坑建议 — tdietterich · 2026-10-27