Grant Sanderson 预测:未来五年 AI 将如何改变数学
Dwarkesh Patel · youtube · 2026-09-16
3Blue1Brown 作者 Grant Sanderson 做客 Dwarkesh Patel 播客,讨论未来五年 AI 在数学领域的实际作用:AI 辅助证明与猜想的现状、形式化验证的角色、对数学研究和教学可能带来的改变,以及哪些预期被高估。
「漫话AGI」频道最新
- Cantos 创始人:深科技突破源于持续创新的复利而非单点颠覆 — dr_alphalyrae · 2026-09-17
- Perry Metzger:「AI 灭世论」源自他 35 年前的娱乐虚构 — curious_vii · 2026-09-17
- 学者 Len Fisher 宣布年内出版 AI 与人类自主性新书 — anderssandberg · 2026-09-17
- EA 倡导者争论:是否值得回应每一位拒绝读文章的批评者 — AndyMasley · 2026-09-17
- 纽约时报长文解析「递归自我改进」：AI 自己训练自己的起飞情景 — coolbern · 2026-09-17
- 全球 EA 不足两万人,为何被视为'活人'比例最高的群体 — abhiadesai · 2026-09-17