The OpenAI/Navier-Stokes mathematician beef is crazy.
Quick recap + my thoughts:
Two mathematicians, Tristan Buckmaster and Levent Alpöge (works at Anthropic), were pursuing the Navier-Stokes Millennium Prize Problem.
Their idea was to construct a perfectly smooth force that makes the fluid equations blow up in finite time.
They had already proven related results and stored all their unpublished drafts in private Codex sessions.
Then, boom, OpenAI drops this banger post, claiming 10,000 agents solved Navier-Stokes using what Buckmaster describes as a suspiciously similar approach.
Buckmaster hears about this and thinks:
“Did these mfs train on our Codex chats?”
He asked whether OpenAI’s model had accessed or been trained on their private sessions.
OpenAI says no specific user data was accessed. But it also says it cannot rule out de-identified data from their usage having helped improve the model.
So: clear denial of direct access, no clear answer on indirect training.
But it would make sense for OpenAI to train on Codex sessions: It's probably one of the main reasons they are letting people go crazy with the resets:
Infinite high quality agentic training data hack
This whole situation reminds me of the Claude Mythos finding a real FreeBSD vulnerability earlier this year.
It was later revealed that the exact same bug had been found and patched in closely related MIT Kerberos code 19 years earlier.
...So it was in the training data.
FreeBSD vulnerability solution also leveraged thousands of agents over several hours... So maybe that just increases the changes of one agent getting lucky with it's weights?
Get what I'm saying?
The same question now hangs over OpenAI.
If the approach came from the mathematicians’ work, this is still an insane demonstration of what AI can learn and execute, but also a massive question of consent and credit.
If Buckmaster and Alpöge's work isn't in the data, and 10,000 agents independently discovered the same route from scratch…
This might just be AGI
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.