{"version":1,"type":"story","url":"https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim","json":"https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim.json","markdown":"https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim.md","slug":"openai-fails-to-prove-navier-stokes-mathematicians-claim","headline":"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.\n\nBefore 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.\n\nIn 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.","keyPoints":["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 %"],"whyItMatters":"The debate highlights limits of current AI in tackling deep mathematical problems and questions the value of large multi‑agent systems in research.","category":{"slug":"research","name":"Research","url":"https://digestai.news/category/research"},"entities":{"companies":["OpenAI","Anthropic","Clay Mathematics Institute","NYU","Scientific American","EPFL"],"models":[],"people":["Gonzalo Cao‑Labora","Tristan Buckmaster","Noam Brown","Camillo De Lellis","Diego Córdoba","Luis Martínez‑Zoroa"]},"firstPublishedAt":"2026-10-17T09:00:26Z","updatedAt":"2026-10-17T09:00:26Z","sourceCount":1,"hasPrimarySource":false,"sources":[{"outlet":"The Decoder","title":"Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof","url":"https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof","publishedAt":"2026-10-17T09:00:26Z","type":"press","primary":false,"lead":true}],"sourceNotes":null,"discussions":[],"thread":{"title":"OpenAI's AI Math Claims Spark Global Debate","url":"https://digestai.news/thread/openai-creates-independent-advisory-group-on-mathematics-and-artificial","storyCount":8},"cite":{"text":"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","publisher":"Digest AI","title":"OpenAI fails to prove Navier-Stokes, mathematicians claim","datePublished":"2026-10-17T09:00:26Z","url":"https://digestai.news/story/openai-fails-to-prove-navier-stokes-mathematicians-claim"},"generatedBy":"Written by Digest AI's editorial model from the linked sources; the sources are the record.","license":"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"}