AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Lex Fridman · 214:27 · Watch on YouTube
This emergency roundtable treats a burst of AI mathematics—progress toward the quasi-Riemann hypothesis, a three-dimensional Navier–Stokes blowup, a proof of the Unique Games Conjecture, and a huge Lean formalization...