第503期——数学中的AI危机：纳维-斯托克斯方程、黎曼猜想与复杂性理论
Lex Fridman第503期请来MIT数学家Ankur Moitra、华盛顿大学流体力学专家Steven Brunton和罗格斯大学数论学家Alex Kontorovich，讨论AI攻克数学难题的现状，包括纳维-斯托克斯方程、准黎曼猜想和唯一博弈猜想。谈话围绕机器验证的证明对数学研究与信任方式意味着什么展开。为什么重要：它来自一线数学家的第一手讲述，记录了AI从辅助证明走向产出证明的时刻。
报道来源
- Lex Fridman Podcast2026-10-26 22:52