A Modest Proposal

The announcement yesterday by OpenAI of a solution to the Millennium Prize Navier-Stokes problem has been causing a great deal of discussion among mathematicians. There’s a lot to be said about this story and its implications, most of which I’ll leave to those better informed than me (for one thing, I understand basically nothing about the problem, or its solution). While talking to people I started to realize that one thing that really bothers me about these kinds of announcements is that they’ve been coming with no information at all about how the result was achieved. Emphasis has been on the question of whether the proof is correct or understandable, but I now think people should start asking another sort of question: exactly how was this done? Sam Altman yesterday explained that we tried this because there were rumors on the internet last week that Anthropic’s models had solved a millennium problem and we were curious if ours could do it too. The rumor of this kind circulating was…