陶哲轩 UCLA 演讲「Math 2.0」：AI 时代数学如何转型
burny_tech · x · 2026-11-10
SAIR 发布了陶哲轩（Terence Tao）10 月 16 日在 UCLA Science x AI Summit 的演讲《Math 2.0》（31 分钟，26 万播放）。
章节包括：数学为何要从 Math 1.0 转型、从证明稀缺到证明过剩、超越解题看问题解决的未来方向等——核心是 AI 让证明工具普及后，数学工作方式与定位的系统性变化。
「漫话AGI」频道最新
- repligate 谈无状态模型如何靠自我声明获得身份感 — repligate · 2026-11-10
- Sutton 引用 Bitter Lesson 争议:蛮力算力不够,AI 仍需新方法 — RichardSSutton · 2026-11-10
- 图表：AI 成本下降速度远超此前历次变革性技术 — YaAbsolyutnoNikto · 2026-11-10
- Anthropic 自曝刻意限制 Model 3 的 AI 研发加速类研究能力 — ziv_ravid · 2026-11-10
- 6 推长文：专用模型统一成端到端系统，编排逻辑将被训练取代 — andreisavu · 2026-11-10
- 作者：谈判与合约是被低估的高价值 AI 用例 — curious_vii · 2026-11-10