Is AI discovering new math or just remixing human ideas? | Lex Fridman

Why watch

Lex Fridman hosts three mathematicians (Ankur Moitra, Steven Brunton, Alex Kontorovich) to explore whether AI is genuinely discovering new mathematics or merely recombining human ideas. The discussion covers AI's breakthroughs on hard math problems including Navier-Stokes, quasi-Riemann hypothesis, and unique games conjecture, along with machine-checked proofs in Lean. This is for mathematicians, AI researchers, and those interested in the philosophical implications of AI on pure mathematics.