三位数学家做客 Lex 播客，谈 AI 攻克 Navier-Stokes 等难题

khademinori · x · 2026-10-31

作者分享 Lex Fridman 播客第 503 期：三位数学家对谈「AI 数学危机」——AI 据称解决了 Navier-Stokes、准黎曼假设、唯一博弈猜想等数百个难题。

嘉宾包括 MIT 理论计算机科学家 Ankur Moitra（谈唯一博弈猜想与复杂度理论）、华盛顿大学流体力学专家 Steven Brunton（谈湍流与机器学习）、Rutgers 数论学家 Alex Kontorovich（谈黎曼假设、Lean 与机器验证证明），时长 3 小时 42 分，讨论 AI 冲击下的数学界现状。