{"version":1,"type":"story","url":"https://digestai.news/story/openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic","json":"https://digestai.news/story/openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic.json","markdown":"https://digestai.news/story/openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic.md","slug":"openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic","headline":"OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approach","summary":"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 88 hours of computing time to construct a mathematical blowup. Mathematician Tristan Buckmaster has alleged OpenAI attempted to bribe and threaten him to prevent him from going public with concerns about the work.","keyPoints":["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"],"whyItMatters":"The episode highlights challenges in verifying AI-generated mathematical proofs and raises questions about transparency and influence in AI-assisted research, especially when claims about methodology are later disputed.","category":{"slug":"research","name":"Research","url":"https://digestai.news/category/research"},"entities":{"companies":["OpenAI","Anthropic"],"models":[],"people":["Diego Córdoba","Luis Martínez-Zoroa","Tristan Buckmaster","Levent Alpöge","Gonzalo Cao-Labora","Camillo De Lellis"]},"firstPublishedAt":"2026-10-13T17:30:11Z","updatedAt":"2026-10-13T17:30:11Z","sourceCount":1,"hasPrimarySource":false,"sources":[{"outlet":"scientificamerican.com","title":"OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was","url":"https://scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was","publishedAt":"2026-10-13T17:30:11Z","type":"press","primary":false,"lead":true}],"sourceNotes":null,"discussions":[{"site":"Reddit","url":"https://www.reddit.com/r/artificial/comments/1x530mt/openais_blockbuster_navierstokes_proof_isnt_what/","points":null}],"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":7},"cite":{"text":"Digest AI, \"OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approach\", 13 October 2026, https://digestai.news/story/openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic","publisher":"Digest AI","title":"OpenAI says its Navier-Stokes proof does not follow Spanish mathematicians' approach","datePublished":"2026-10-13T17:30:11Z","url":"https://digestai.news/story/openai-says-its-navier-stokes-proof-does-not-follow-spanish-mathematic"},"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"}