陶哲轩 Caltech 演讲《Math 2.0》：AI 如何改变数学研究
Anon84 · hn · 2026-10-11
菲尔兹奖得主陶哲轩在 Caltech 的演讲幻灯片《Math 2.0》(PDF),系统阐述 AI 工具将如何重塑数学研究的方式——从形式化证明、AI 辅助猜想探索到人机协作的新范式，是顶级数学家对 AI 与数学关系的代表性论述。
「漫话AGI」频道最新
- 「理解 AI 经济最重要的一张图」：模型商品化，算力成最确定资产 — FinanceYF5 · 2026-10-12
- a16z 图表:呼叫中心裁员潮已扩散至中低收入国家 — FinanceYF5 · 2026-10-12
- 开发者重评乔布斯遗产:iPhone 原子化社会难辞其咎 — granawkins · 2026-10-12
- 从核武安全到 AI:用智能体无法伪造的信号做防护 — WeldPond · 2026-10-12
- 值机惊艳难留客:个人 Agent 缺一件每天必干的小事 — sujingshen · 2026-10-12
- willcb:除 RL 外的算法都是在用代理目标回避直接优化 — willcb · 2026-10-12