# OpenAI fails to prove Navier-Stokes, mathematicians claim

Digest AI · Research · published 2026-10-17T09:00:26Z

Canonical: https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim

## Summary

OpenAI presented a 166‑page potential solution to the Navier‑Stokes problem in early September, claiming it followed the approach of Spanish mathematicians Diego Córdoba and Luis Martínez‑Zoroa. Experts disagree. Gonzalo Cao‑Labora of EPFL says the proof’s details differ and only surface‑level similarities exist. The proof, written in Lean, is under review by the Clay Mathematics Institute.

Before publication, NYU mathematician Tristan Buckmaster accused OpenAI of building on work he and Anthropic’s Levent Alpöge had done with publicly available models. OpenAI denied the claim, saying it never used Buckmaster’s data. Camillo De Lellis of the Institute for Advanced Study notes that a definitive answer is unlikely because language models are black boxes.

In early October, OpenAI released roughly 400 more results on GitHub, angering mathematicians who felt the collection cheapened the field. The company also deployed about 10,000 model instances for roughly 88 hours and 130 billion tokens to develop the solution. Noam Brown says the multi‑agent setup contributed less than 10 % of the success, with the base model doing most of the work.

## Key points

- OpenAI released a 166‑page Navier‑Stokes proof that experts say only superficially follows Spanish mathematicians’ approach
- NYU’s Tristan Buckmaster accused OpenAI of using his and Anthropic’s prior work, a claim OpenAI denies
- OpenAI ran 10,000 model instances for 88 hours and 130 billion tokens, but the multi‑agent contribution is under 10 %

## Why it matters

The debate highlights limits of current AI in tackling deep mathematical problems and questions the value of large multi‑agent systems in research.

## Sources

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof) (The Decoder, 2026-10-17)

Part of the developing story: [OpenAI's AI Math Claims Spark Global Debate](https://digestai.news/thread/openai-creates-independent-advisory-group-on-mathematics-and-artificial) (8 stories)

## Cite

Digest AI, "OpenAI fails to prove Navier-Stokes, mathematicians claim", 17 October 2026, https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim

---

Written by Digest AI's editorial model from the linked sources; the sources are the record. Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse
JSON: https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim.json