OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approach
OpenAI posted a 166-page solution to the Navier-Stokes problem in early September, initially claiming it followed an approach by Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa. Experts now say the proof does not follow that program, despite some similarities. The proof was produced by an agent swarm of about 10,000 copies of a new math-adept LLM, which used 130 billion tokens and…
Key points
- OpenAI's Navier-Stokes proof does not follow the Spanish program, experts say
- The proof used an agent swarm of 10,000 LLMs, 130 billion tokens, and 88 hours of compute
- Tristan Buckmaster alleges OpenAI tried to bribe and threaten him to silence criticism
The story so far
7 episodes →- OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approachthis story
OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was
scientificamerican.com · 13 October 2026
Loading the full article…
This text was published by scientificamerican.com and written by Joseph Howlett. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
Coverage and discussion
1source- Reddit discussionreddit.com
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 research suggests small AI models may self-replicate on IoT devices · 10 src
- Alibaba’s QwenGyre speeds up long-horizon agent training by up to 1.85x · 1 src
- Parsimony, an open-source benchmark, measures code added by AI models · 1 src
- Meta, Google and NIH invest $1.8B in AI cell simulation project · 1 src
- Harvard physicist uses Claude to publish 36 manuscripts in 18 fields in three months · 1 src
Comments
via GitHub Discussions