#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
Source
lexfridman.com
Date
Why it matters
Practitioners get expert mathematicians' views on claimed AI solutions to major open problems and the role of Lean verification, a gauge of how far frontier reasoning capability has moved.
podcast#490 – State of AI in 2026: LLMs, Coding, Scaling Laws, China, Agents, GPUs, AGILex Fridman
podcast#475 – Demis Hassabis: Future of AI, Simulating Reality, Physics and Video GamesLex Fridman
podcast#452 – Dario Amodei: Anthropic CEO on Claude, AGI & the Future of AI & HumanityLex Fridman