AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503
Mathematicians Ankur Moitra, Steven Brunton, and Alex Kontorovich analyze the seismic impact of automated AI theorem-provers after releases by OpenAI and Anthr…