Lex 播客：AI 攻克 Navier-Stokes 与准黎曼猜想，数学界危机时刻
Lex Fridman Podcast · rss · 2026-10-27
Lex Fridman 播客 #503 邀请三位数学家讨论「数学的 AI 危机时刻」：AI 已解决 Navier-Stokes、准黎曼假设（quasi-Riemann hypothesis）、唯一博弈猜想（unique games conjecture）等数百个难题。
嘉宾：
- Ankur Moitra（MIT/IAS，理论计算机科学）：讲唯一博弈猜想、复杂度理论与 AI 学习的数学
- Steven Brunton（华盛顿大学，流体力学）：讲 Navier-Stokes、湍流与机器学习求解流体
- Alex Kontorovich（罗格斯大学，数论）：讲黎曼假设、Lean 与机器验证证明
话题涵盖：AI 会「解决」数学吗、AI 能创造新数学吗、数学是发明还是发现、AI 能否攻克 P vs NP、LLM 为何有效、AI 尚不能解决的问题，以及对年轻人的建议。全程约 3.5 小时，附完整文字稿。
「漫话AGI」频道最新
- 评论：AI 实验室正输掉叙事战，需三层合作愿景 — sudoraohacker · 2026-10-28
- 「AI 味」让创作贬值 80%：文字之后轮到视频 — heyneighbor · 2026-10-28
- Miles Brundage：LLM从诞生起就比人力便宜，这是采用爆发的主因 — Miles_Brundage · 2026-10-28
- 顶安全研究员自嘲翻车:误读 Anthropic 报告『AI 安全问题已解决』大标题 — geoffreyirving · 2026-10-28
- 投资人 Rob Leclerc:AI 再强也解不了所有难题，它不是神 — robleclerc · 2026-10-28
- 「超级智能已到，想到啥都能造」：研究员式 PSA 引热议 — RileyRalmuto · 2026-10-28