OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year

OpenAI announced on September 8, 2026 that an internal AI system produced an analytical proof of the Navier-Stokes existence and smoothness problem, along with a Lean formalization, at an estimated compute cost of roughly $10 million to $15 million; the company forecasts a similar project will cost about $100,000 next year, a drop of about 99%. The run used a network of approximately 10,000 coordinated AI agents working about 88 hours on the proof and 17 hours on Lean verification, and OpenAI says the system outperformed its flagship GPT-6 Astra. OpenAI said it will not pursue the $1 million Clay Mathematics Institute Millennium Prize, while mathematicians continue to debate research priority and credit as of mid-to-late October 2026.

OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year OpenAI official logo public domain, Wikimedia Commons — CryptoBriefing brand treatment The company expects the price of AI-driven frontier math to fall sharply, even as mathematicians question who deserves credit OpenAI https://cryptobriefing.com/markets/openai/ says a Navier-Stokes project like the one it just ran could cost about $100,000 next year. The first attempt cost roughly $10 million. That is a drop of about 99% in a single year, if the forecast holds. What OpenAI says it did On September 8, 2026, OpenAI announced results from an internal AI system. The system reportedly outperformed GPT-6 Astra, the company’s flagship model. OpenAI says the system produced an analytical proof addressing the Navier-Stokes existence and smoothness problem. It also produced a formalization of that proof in Lean, a software tool that checks mathematical proofs step by step. The Navier-Stokes problem is one of the Millennium Prize Problems set by the Clay Mathematics Institute. It concerns the equations that describe how incompressible fluids move in three dimensions. OpenAI’s result points to breakdown. According to the company, the equations can develop finite-time singularities starting from smooth initial conditions, while the total energy stays finite. The compute bill The effort did not come from a single chatbot session. OpenAI used a dynamic network of approximately 10,000 coordinated AI agents. Those agents worked for about 88 hours on the proof itself. Another 17 hours went to verifying the Lean formalization. Estimates put the compute cost of the project between $10 million and $15 million. OpenAI’s own framing references roughly $10 million. AI, tech, and the markets they move—in one daily briefing. Daily. Free. Join 34,000+ readers across crypto, finance, and policy. The company expects a similar project to cost around $100,000 next year. It attributes that projected decline to anticipated gains in AI efficiency. Note the word anticipated. The $100,000 figure is a forecast, not an invoice. Leaving the prize money on the table The Clay Mathematics Institute attaches a $1 million prize to the Navier-Stokes problem. OpenAI has said it will not pursue it. Against a compute bill of $10 million or more, the prize would barely cover the electricity. The credit question The announcement has sparked a heated debate among mathematicians over research priority and how credit should be assigned. Some prominent figures have raised concerns that the proof may have drawn on unpublished methods or insights. As of mid-to-late October 2026, that discussion was still ongoing. Researchers continue to scrutinize OpenAI’s claims and the mathematical approach behind them. The Lean formalization helps on one front. A machine-checked proof is harder to dispute on correctness grounds than a long paper reviewed by a handful of experts. But correctness and credit are separate questions. Lean can confirm that each logical step holds. It cannot tell you whose idea the key step was. What this means The most consequential number here is not $10 million. It is $100,000. At $10 million, a run like this is a one-off demonstration only a handful of well-funded labs could attempt. At $100,000, it starts to resemble a research budget line that a university department or a mid-sized company could plausibly justify. Things to watch from here: whether independent experts endorse the result, how the Clay Mathematics Institute responds given OpenAI’s refusal of the prize, and whether next year’s runs actually land anywhere near the $100,000 mark. Disclosure: This article was edited by Diego Almada Lopez. For more information on how we create and review content, see our Editorial Policy https://cryptobriefing.com/editorial-policy/ . More in AI See all https://cryptobriefing.com/artificial-intelligence/