Like, to me this looks like academic slap-fighting from Bubeck and Levent. People working at OpenAI are saying, "hey, we don't have that particular data in our models," others are saying, "we used a different approach to do it with Navier-Stokes" this feels like much ado about nothing.
Then in these comments I see some wild accusations.
If OpenAI is telling the truth (I don't really see a reason to lie here, if anything that sounds kind of like a dumb idea given the context), then they heard, "oh, shit, someone might be able to solve Navier-Stokes, don't we have some guys working on that? Give them 10,000 agents!" Then 88 hours later, out pops a similar solution. It's not like there's probably an infinity of ways to do this, the proof is probably similar.
Read this:
> Two proposals were offered to me. The first was that we post our Euler result, and that OpenAI post its Navier-Stokes result the next day. The second was that, after posting Euler, I alone write a paper presenting the Navier-Stokes result, acknowledging that an internal OpenAI model had resolved it. Sebastien twice asserted that he wanted Levent removed from authorship, and said it would all be simple if only it were not the case that, and it was so annoying that, Levent works at Anthropic. It was also said that if OpenAI posted after us, they would say that we deserved the Clay Prize, and that we were the “closest humans to the problem”. I declined both offers.
So, really, it sounds like academic slap-fighting nonsense and corporate bureaucracy. Literally, OpenAI's best move would have been to say, "ok, we're going to not say anything, do your thing" and let it happen. Ego and vanity got in the way.
Still, the stupid drama of this doesn't really do the results justice. There are maybe 1000 people on planet earth who are qualified to solve a problem like this. Even if the human "loosened the jar" a bit, that's astounding that their model was able to figure it the rest of the way out. Why are people dialed in to the human interest story here and not looking at the bigger picture!