Three Mathematicians Join Lex Fridman to Discuss AI Solving Navier-Stokes, Quasi-Riemann
khademinori · x · 2026-10-31
A pointer to Lex Fridman Podcast #503 (3h42m), where three mathematicians discuss the "AI crisis in math": AI's reported solutions to Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture, and hundreds of other problems.
- Ankur Moitra (MIT, visiting IAS): unique games conjecture, complexity theory, how AI learns
- Steven Brunton (UW): Navier-Stokes, turbulence, ML for fluid dynamics
- Alex Kontorovich (Rutgers): Riemann hypothesis, Lean, machine-checked proofs
More from AGI Musings
- Anti-AI to shield tech-illiterate boomers? Ignoring doctors isn't AI's fault — felpix_ · 2026-10-31
- "AI shouldn't turn everyone into programmers — it should boost existing jobs" — AryHHAry · 2026-10-31
- AI skeptic predictions are correlated bets that never cost anything, argues 79K-follower researcher — teortaxesTex · 2026-10-31
- teortaxesTex pushes back on 'LLMs can't disassemble engines' cope in embodied AI debate — teortaxesTex · 2026-10-31
- Pedro Domingos: Probability of Zero Fraud in the AI Boom Is Zero — pmddomingos · 2026-10-31
- tszzl: AI debunking won't change academia's thermostat dynamics on star researchers — tszzl · 2026-10-31