Post

Well, this Navier-Stokes affair did blow up in finite time

Even after reading Zach's thread I have no idea what's going on. Unless two mathematicians worked on a proof using ChatGPT without completing the proof. Then they went on to other things and one got a job at Anthropic. Then OpenAI tried the same proof using Astra and were successful?