Lex Fridman 播客第 503 期邀三位数学家聊「数学危机」：AI 已攻下数百难题

Lex Fridman 播客第 503 期与三位数学家对谈「数学危机」，讨论背景是 AI 据称已解决 Navier-Stokes、准黎曼猜想、Unique Games 猜想等数百个难题。3.5 小时长谈覆盖 AI 能否「解决」与创造新数学、黎曼猜想、Lean 机器校验证明、P vs NP 以及 LLM 为何有效，并附完整时间戳与文字稿。