Lex Fridman 播客讨论 AI 对数学的冲击：从 Navier-Stokes 到黎曼假设
三位数学家讨论 AI 已在若干著名难题上取得进展，并探讨机器能否真正理解数学证明、甚至提出新猜想。
嘉宾Ankur Moitra、Steven Brunton、Alex Kontorovich
节目简介
三位数学家参与讨论 AI 在数学领域的最新进展：MIT 理论计算机科学家 Ankur Moitra 谈唯一游戏猜想与复杂度理论，华盛顿大学流体力学家 Steven Brunton 谈 Navier-Stokes 方程与湍流，罗格斯大学数论学家 Alex Kontorovich 谈黎曼假设和 Lean 形式化证明。核心议题是：AI 究竟能否真正"解决"乃至创造新数学。