What Is AI Doing to Math? [Wading Through AI - Episode 10]
Molly Rocket · 112:31 · Watch on YouTube
AI solving the Navier-Stokes blow-up and other open problems marks a shift from homework-level math to PhD-level research, raising urgent questions about what mathematicians are for if machines can prove theorems.