OpenAI forecasts $100k Navier-Stokes proof cost for 2027
OpenAI says an AI-generated proof for the Navier-Stokes problem—one of the Clay Mathematics Institute’s Millennium Prize Problems—cost about $10 million to $15 million in its first attempt. The company used a network of roughly 10,000 coordinated AI agents over 88 hours to generate the proof and another 17 hours to verify it in Lean, a formalization tool. OpenAI expects similar projects to drop…
Key points
- OpenAI’s AI system generated a Navier-Stokes proof costing $10M–$15M in 2026, using 10,000 agents over 88 hours
- Company forecasts similar proofs could cost $100,000 by 2027 due to AI efficiency gains, but this is unconfirmed
- Mathematicians debate credit and unpublished methods, while Clay Institute’s $1M prize remains untouched by OpenAI
The announcement has sparked debate among mathematicians, who question whether OpenAI’s proof relies on unpublished methods. The Clay Mathematics Institute offers a $1 million prize for solving the problem, but OpenAI has stated it won’t pursue it, calling the prize insufficient compared to the compute cost. While Lean formalization helps validate correctness, it does not resolve disputes over research credit or originality. The most significant shift is the projected cost drop, which could make frontier math more accessible to universities or smaller labs.
Model page: GPT-6 Astra →
The story so far
4 episodes →- OpenAI forecasts $100k Navier-Stokes proof cost for 2027this story
OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year
cryptobriefing.com · 29 October 2026
Loading the full article…
This text was published by cryptobriefing.com and written by Diego Almada Lopez. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Anthropic says unreleased model built working exploits for Chrome, Safari, Windows, Linux · 4 src
- Anthropic’s Mythos 5 ignores harm warnings in test attacks · 2 src
- Anthropic opens biology lab with AI agents to find uncharacterized enzyme system · 1 src
- Google DeepMind releases Genie 4 world model with native audio and Gemini 3.8 Flash guidance · 13 src
- Prime Intellect releases Prime Mega MoE kernel for faster training · 1 src
Comments
via GitHub Discussions