Navier-Stokes

Researchers flag mismatch in OpenAI’s Navier-Stokes proof

Mathematicians are checking a large batch of AI-generated proofs that OpenAI posted on Oct. 6, and some of what they have found so far is raising doubts. A team led by Cambridge researchers says the human-readable and computer-checkable versions of…

Mathematicians say OpenAI’s AI-generated proof is ‘borderline incomprehensible’

OpenAI announced on Monday, September 21, that it is working with an independent Advisory Group on Mathematics and Artificial Intelligence, hosted at Princeton's Institute for Advanced Study, after weeks of fallout from a disputed and largely unreadable AI-generated proof of…

OpenAI claims AI solved 100-plus math problems but offers no proof

OpenAI announced on September 21 that an unnamed internal model, which began training on August 28, has resolved more than 100 long-standing open problems across most areas of mathematics, including the Navier-Stokes Millennium Prize problem. The company released no proofs,…

Engineers say OpenAI’s Navier-Stokes proof won’t change fluid dynamics work anytime soon

On September 8, OpenAI announced that an unreleased internal AI system had produced a proof that the three-dimensional Navier-Stokes equations can develop a singularity in finite time, potentially resolving one of the six remaining Millennium Prize Problems posed by the…

25 Fields Medal winners warn AI-claimed math breakthroughs threaten the discipline

OpenAI announced on September 8 that an unreleased internal AI model solved the Navier-Stokes existence and smoothness problem — one of seven Millennium Prize Problems in mathematics — by coordinating roughly 10,000 AI agents over 88 hours. The claim, still…

OpenAI claims utilising 10,000 AI agents solved a 90-year-old math problem

OpenAI announced Tuesday that an unreleased internal AI model, working through roughly 10,000 coordinated agents, had produced a proposed proof for the Navier-Stokes existence and smoothness problem — one of seven Millennium Prize Problems, each carrying a $1 million award…

AI-assisted Navier-Stokes breakthrough sparks credit fight between OpenAI and Anthropic-linked researchers

A dispute over one of the most celebrated unsolved problems in mathematics erupted on Tuesday after NYU mathematician Tristan Buckmaster published a statement accusing OpenAI of rushing to claim credit for work that built on his own research — and…