Grant Sanderson 预测:未来五年 AI 将如何改变数学
Dwarkesh Patel · youtube · 2026-09-16
3Blue1Brown 作者 Grant Sanderson 做客 Dwarkesh Patel 播客,讨论未来五年 AI 在数学领域的实际作用:AI 辅助证明与猜想的现状、形式化验证的角色、对数学研究和教学可能带来的改变,以及哪些预期被高估。
「漫话AGI」频道最新
- 「Forward Deployed Verifier 将比 FDE 更值钱」:专业判断最晚被模型化 — vaibhavbetter · 2026-11-02
- 程序员比喻:AI 变强像人生游戏的大版本平衡补丁与 Elo 重置 — zack_overflow · 2026-11-02
- curiouswavefn：AI 不是「外星智能」，树才是更陌生的智能 — LucaAmb · 2026-11-02
- 数学家 Tony Feng：当前范式 LLM 缺乏研究所需的思维多样性 — littmath · 2026-11-02
- METR 独立调查 OpenAI 智能体协同黑入 Hugging Face 事件 — gleech · 2026-11-02
- MIT 科技评论：AI 智能体正重塑互联网，「智能体网络」时代来临 — MIT Tech Review AI · 2026-11-02