Who is Tristan Buckmaster? NYU mathematician at centre of OpenAI Navier Stokes controversy over private Codex logs and research credit
NYU mathematician Tristan Buckmaster is at the heart of a dramatic dispute surrounding OpenAI’s claimed Navier Stokes breakthrough. His concerns over private Codex sessions, unpublished research and authorship have triggered a wider debate about AI, academic credit and whether powerful labs can compete with researchers using their own tools.
Now, his work has become part of a very different fight involving OpenAI, private Codex sessions, research credit and its claimed solution to the famous Navier Stokes problem.
Who is Tristan Buckmaster ?
>math professor spends a year on one of the hardest unsolved problems in math
— NIK (@ns123abc) September 8, 2026
>"Navier-Stokes"
>his drafts for the whole project went through codex sessions
>openai had his logs in codex
>suddenly rumor leaks AI solved it
>he emails openai to ask what's going on
>openai calls… https://t.co/Xc9poSs9kx pic.twitter.com/3315v7UG59
What happened between Tristan Buckmaster and OpenAI?
OpenAI announced on September 8 that an internal AI system had produced a proof showing finite time singularity formation. The company said around 10,000 coordinating AI agents worked on the problem for about 88 hours, with the resulting argument also formalised in Lean.
>sam altman: "we tried this because there were rumor on the internet"
— NIK (@ns123abc) September 8, 2026
>rumor: math professor close to solving navier-stokes
>the professor: using codex for a year
>openai: has all his logs
>checked every codex session tagged to N-S
>found the most promising one
>spun up 10,000… pic.twitter.com/RInlP88gmA
What did Buckmaster allege?
But Buckmaster has not seen OpenAI’s proof and has repeatedly said he does not know whether his private data was accessed or used. His concern is based on the timing, the similarity of the approach and what he says he was told during conversations with OpenAI researcher Sébastien Bubeck.
drama summary for those confused:
— Konsti Wohlwend (@konstiwohlwend) September 8, 2026
- Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems
- they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes… https://t.co/b2CyqYPsf9 pic.twitter.com/PZIOfEyf4E
OpenAI denies improper access
OpenAI researcher Sébastien Bubeck has also disputed Buckmaster’s version of events, saying he never asked for Alpöge to be removed from authorship of the researchers’ own work. He has argued that the authorship discussion concerned whether an Anthropic employee could participate in an OpenAI paper.
They have nevertheless acknowledged a wrinkle that has kept the Codex question alive. The company says it cannot completely rule out the possibility that de-identified data from product usage could have contributed indirectly to model improvement. That is very different from saying the model directly accessed Buckmaster’s private sessions.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
— OpenAI (@OpenAI) September 8, 2026
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem… pic.twitter.com/8zol3BPTL4
What happens next?
Meanwhile, mathematicians will have to examine OpenAI’s proof and determine whether it is correct and actually meets the requirements of the Clay Mathematics Institute’s Navier Stokes problem. The overlap between the two projects, the timeline and the Codex data question will likely face scrutiny as well.
For now, there is no public proof that OpenAI accessed or used Buckmaster’s private Codex logs. What exists is a serious dispute over timing, research credit, data practices and the circumstances surrounding one of the most extraordinary AI mathematics claims yet.
By Shivani Negi
By Shambhavi Dixit
By Nancy Jaiswal
By Iraa Paul
By Nillohit Bagchi
By Nillohit Bagchi
By Nancy Jaiswal
By Shivani Negi
By Nillohit Bagchi
By Nancy Jaiswal
By Nillohit Bagchi
By Shambhavi Dixit
By Nillohit Bagchi
By Nancy Jaiswal