3 ms·
To Serve Man: AI, Math, and Navier–Stokes
- bearseascape 24d agoI 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.
- cammasmith 24d ago[dead]