Lex Fridman 与数学家谈 AI 攻克数学难题

播客主持人 Lex Fridman 称，他与三位数学家对话，讨论 AI 在数周内解决 Navier-Stokes 方程、准黎曼猜想、唯一游戏猜想与复杂性理论等历史级难题的“时刻”，并提到 OpenAI 当天宣布解出更多问题。 Fridman 称这一进展可能被视为危机、胜利或两者兼有，自己每天在恐惧与乐观之间摇摆。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。