Terence Tao 提出「Math 2.0」图景：AI 扩展而非挤压数学前沿
mattturck · x · 2026-10-12
陶哲轩分享了一张「Math 2.0」韦恩图，主张 AI 不会让数学家失业，而是大幅扩展数学研究前沿：图中把全部数学任务分为 Math 1.0 的人类研究前沿，以及加入 AI 后扩大的 Humans + AI 前沿，AI 独自解决的成果常伴随大量未被报道的失败尝试，真正的增量来自对 AI 更有想象力的使用。转发者 fdouetteau 补充：让 AI 的数学结果可解释、可持续，与软件工程中的 Curry-Howard 对应存在平行需求。Matt Turck 转发扩散了这一观点。
所属事件:陶哲轩Caltech讲座宣告「证明过剩」时代，可理解性之争席卷学界(59 条相关)→
「漫话AGI」频道最新
- 伯克利研究：10 分钟 ChatGPT 就会削弱独立思考耐力 — RachelVT42 · 2026-10-13
- Radiolab 推出「Math Vs Machine」：数学家直面 AI 冲击波 — stevenstrogatz · 2026-10-13
- Peter Diamandis：AI 降低门槛，让更多人得以实现想法 — VraserX · 2026-10-13
- 编程Agent时代开源护城河并未消失,只是转移到了复杂项目 — MarcJSchmidt · 2026-10-13
- IMF 新经济论坛将讨论 AI 时代的税收、自动化与失业 — mioana · 2026-10-13
- 研究者热评:harness 工程掩盖了 agent 缺乏组合性的根本问题 — qi2peng2 · 2026-10-13