AI sparks an existential debate on the use of mathematics

The AI solution to the Navier-Stokes problem in September raises an existential debate about the future and use of mathematics.