{"slug": "openai-faces-competing-claims-over-navier-stokes-maths-proof", "title": "OpenAI Faces Competing Claims Over Navier-Stokes Maths Proof", "summary": "OpenAI announced on September 8 that its internal model solved the Navier-Stokes equations problem, one of the seven Millennium Prize Problems carrying a $1 million award from the Clay Mathematics Institute, using about 10,000 concurrent AI agents that reached a resolution within 88 hours and verified the proof with the Lean formal verification language. NYU professor Tristan Buckmaster and Anthropic researcher Levent Alpöge allege OpenAI built on their unpublished Euler equations work without proper credit, claims OpenAI denies as false while acknowledging its full Navier-Stokes solution followed a similar method to the pair's. The dispute raises questions about AI-assisted mathematical discovery and intellectual provenance, with the Clay Mathematics Institute not commenting on whether an AI-generated proof would qualify for the prize.", "body_md": "**September 9, 2026**, (Inside AI) — A mathematical breakthrough announced by **OpenAI** has ignited a priority dispute with two academic researchers who claim the company built on their unpublished work without proper credit.\n\nOpenAI said its internal model solved the **Navier-Stokes equations** problem, one of seven **Millennium Prize Problems** carrying a **$1 million** award from the **Clay Mathematics Institute**. The announcement came on **September 8**.\n\nThe problem, unresolved for roughly **90 years**, asks whether smooth three-dimensional fluid motion can mathematically break down. OpenAI claimed its model proved the equations can \"blow up,\" reaching impossible infinite speeds.\n\nThe computational effort was extraordinary. OpenAI deployed about **10,000** concurrent AI agents that reached a resolution within **88 hours**. The **GPT-6 Astra** model then verified the proof using the **Lean** formal verification language.\n\nWithin hours, **NYU** professor **Tristan Buckmaster** raised pointed questions. He and **Anthropic** researcher **Levent Alpöge** had been working on the related **Euler equations**. Buckmaster alleged OpenAI learned of their unpublished progress last week.\n\nHe claimed the pair shared drafts inside OpenAI's **Codex** tool and discussed their approach with an OpenAI researcher. Consequently, he suggested OpenAI adopted their method for the full proof.\n\nThe allegations escalated. Buckmaster said OpenAI proposed a joint release excluding Alpöge. Most strikingly, he alleged OpenAI scientists threatened his career. He also said he asked about training data but received no answer.\n\nOpenAI denied all allegations as false. Researcher **Sébastien Bubeck** led the press briefing. He insisted the internal model solved the Euler problem independently. Furthermore, he said no user prompts or proofs were accessed.\n\nHowever, OpenAI acknowledged one important nuance. Its full Navier-Stokes solution followed a similar method to the pair's. Additionally, it admitted de-identified usage data might have helped models. The company said it recognizes the priority of their Euler work.\n\nThe dispute raises broader questions about AI-assisted mathematical discovery. Formal verification tools like Lean can check proofs mechanically, but they cannot resolve questions of intellectual provenance. The Clay Mathematics Institute has not commented on whether an AI-generated proof would qualify for the prize.\n\nHistorical precedent is thin. In **2003**, **Grigori Perelman** solved the **Poincaré conjecture**, another Millennium Prize Problem, but declined the award. No AI system has previously claimed a solution to any of the seven problems.\n\nThe Navier-Stokes problem is not merely academic. Its resolution could affect fluid dynamics modeling in engineering, weather prediction, and aerodynamics. A proof of blow-up would show that the equations sometimes fail to describe physical reality.\n\nOpenAI's use of **10,000** concurrent agents also signals a shift in how AI companies approach hard scientific problems. The approach mirrors distributed search techniques used in cryptography and combinatorial optimization, but applied to continuous mathematics.\n\nIndependent verification will take time. Mathematicians must check the proof's logical structure and ensure the Lean formalization matches the claimed theorem. Buckmaster and Alpöge have not yet published their Euler work, complicating priority assessment.\n\nThe controversy echoes past disputes in mathematics, such as the **Newton-Leibniz** calculus priority fight. But the involvement of commercial AI labs introduces new dynamics around data access, model training, and credit attribution.\n\nOpenAI has not released the full proof publicly. The company said it will submit the work for peer review. Whether the mathematical community accepts the result may depend less on the proof's validity than on the transparency of its origins.", "url": "https://wpnews.pro/news/openai-faces-competing-claims-over-navier-stokes-maths-proof", "canonical_source": "https://insideai.news/news/ai-safety/openai-navier-stokes-proof-dispute/10051/", "published_at": "2026-09-09 13:15:28+00:00", "updated_at": "2026-09-09 13:43:25.004797+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "ai-ethics"], "entities": ["OpenAI", "Clay Mathematics Institute", "NYU", "Tristan Buckmaster", "Anthropic", "Levent Alpöge", "Sébastien Bubeck", "GPT-6 Astra"], "alternates": {"html": "https://wpnews.pro/news/openai-faces-competing-claims-over-navier-stokes-maths-proof", "markdown": "https://wpnews.pro/news/openai-faces-competing-claims-over-navier-stokes-maths-proof.md", "text": "https://wpnews.pro/news/openai-faces-competing-claims-over-navier-stokes-maths-proof.txt", "jsonld": "https://wpnews.pro/news/openai-faces-competing-claims-over-navier-stokes-maths-proof.jsonld"}}