I wrote this to try and contextualize the recent developments around the Navier-Stokes equations with the broader debate ongoing in mathematics about the role of such AI-generated proofs.
I'm not a mathematician, and there are probably some places where I've glossed over important details, but hopefully this provides a big picture of what exactly is going on in mathematics.