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.
2 comments
[ 2.8 ms ] story [ 26.4 ms ] threadI'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.