The announcement, from the company's own account. Read it against what is not in it: no link to a proof, no paper, no Lean repository, and no mention of Diego Córdoba and Luis Martínez-Zoroa, whose programme the route belongs to, or of Buckmaster and Alpöge, who published on it that morning. What OpenAI says it has is certified in Lean. What anybody outside the company can read is this post and an illustration of a spiralling, stretching fluid.
OpenAI
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.
Joseph Howlett reported the announcement the same evening, for the magazine that ran the misconduct piece in August. Two things in it are worth carrying. Bubeck gave a press briefing and emphatically denied that Buckmaster and Alpöge's work influenced OpenAI, saying "We did not use their prompt or models or proof", that the model solved the Euler problem by totally different means, and that the Navier-Stokes proof was produced over the weekend; he also granted that the Navier-Stokes route does follow a similar method to theirs. And the proof itself has not been made public for anyone to check. The quotation is Diego Córdoba, who with Luis Martínez-Zoroa opened the route everybody has been arguing about, hearing that it may have been walked to the end without him.
Diego Córdoba
We're a little bit in shock... If it's done, that will be a big surprise for us.
Bloomberg
1h
In today’s India Edition, Menaka Doshi looks at the problems created by the RBI’s dollar bonanza and Sidhartha Shukla explores the big questions facing the Global Fintech Fest. https://www.bloomberg.com/news/newsletters/2026-09-08/india-s-dollar-deluge-creates-a-problem-of-plenty?taid=6aa04298c7918d000143ae30&utm_campaign=trueanthem&utm_content=business&utm_medium=social&utm_source=twitter
Kundan Prajapati
1h
Speaking at @GffFintechfest at @5paisa booth
Let's meet and learn✌️
