Lex Fridman播客讨论AI与数学：黎曼猜想与P vs NP仍未解决

OmniTools 10月27日消息，Lex Fridman 播客第503期围绕“数学中的 AI 危机”展开。播客摘要提到，OpenAI 在约700道题目的发布中表面成功率约为10%，但完整黎曼猜想和 P vs NP 问题仍未解决。

摘要还提到，Anthropic 用约1300万行 Lean 代码形式化费马大定理，证明可核验；不过 Mathlib 的可复用建设仍待推进。节目也讨论了 Navier–Stokes 方程，所谓“爆破”几乎不改变工程实践，流动预测仍被视为“1万亿美元工程问题”。