ICM2026 讲座：数学是一条五步流水线，AI 只覆盖前两步
lmthang · x · 2026-07-26
- 这场 #ICM2026 讲座的完整 slide deck 已经放出。
- 讲座把数学理解为一条 五步流水线：证明生成、验证、阐述、发表，最后进入教材化/经典化，成为后世可继承的知识。
- 其中一个核心判断是：AI 在生成这一步已经做得不错，在验证上也在快速进步。
- 但后面的 阐述、发表、经典化 仍然更依赖人类机构、标准和长期共识。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「研究」频道最新
- 3D ResNet 论文八年突破 3000 引用，Kinetics 数据集成里程碑 — HirokatuKataoka · 2026-09-11
- Jeff Heaton《神经网络数学导论》开放免费完整下载 — blaizedsouza · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- 本周热议的数学猜想到底关我什么事?一张普通人视角清单 — koltregaskes · 2026-09-11