GoKawiil
Tech News
The Clay Mathematics Institute issued a statement noting growing momentum toward solving the Navier-Stokes Millennium Prize Problem, which concerns whether smooth, well-defined solutions always exist for the equations governing 3D fluid motion. CMI pointed to recent breakthroughs in related research, some already honored with its Clay Research Award, as evidence that a resolution could be near.
A group of mathematicians argues that while large language models have rapidly gained the ability to solve major outstanding problems, AI companies' drive to treat these solutions as benchmarks conflicts with how mathematics actually operates as a discipline. They describe this as a broader misalignment between AI industry goals and the values of the mathematical community, which relies on slow, collective processes of verification, teaching, and simplification rather than one-off problem-solving feats.
A group of 25 Fields Medal-winning mathematicians has issued a joint declaration warning that AI companies' rush to use famous unsolved math problems as benchmarks for large language models is harming the discipline. They argue that while LLMs have rapidly gained the ability to crack major open problems, this benchmark-driven approach conflicts with how mathematical knowledge has traditionally been built and validated over generations.
OpenAI announced Tuesday that a swarm of 10,000 AI agents, run for 88 hours at a cost of millions of dollars, had found a scenario where the Navier-Stokes equations describe fluids reaching infinite velocity, effectively breaking the famous equations. NYU mathematician Tristan Buckmaster then publicly accused the company of producing a solution suspiciously similar to unpublished work he had been developing for years and was close to finishing.
A public disagreement has broken out over credit and validation claims tied to an OpenAI mathematics model achievement, with researchers and commentators contesting how the results were presented and verified. The clash highlights tension between traditional academic norms of open peer review and the competitive, secrecy-driven culture increasingly surrounding commercial AI labs.
OpenAI announced its AI resolved a long-standing open question about the Navier-Stokes equations, one of the Clay Mathematics Institute's Millennium Prize Problems, claiming it did so within days using roughly 10,000 agents. Mathematician Tristan Buckmaster disputes the credit, saying he and Anthropic researcher Levent Alpöge had already developed the key approach before OpenAI learned of it and rushed to finish the proof over a weekend.
OpenAI published a paper claiming an unreleased model coordinated up to 10,000 AI agents over 88 hours to produce a formal Lean proof addressing the Navier-Stokes existence and smoothness Millennium Prize Problem. The company says the proof identifies conditions under which the equations develop a mathematical singularity, not evidence that real fluids behave impossibly. Outside mathematicians have yet to verify the claim.
OpenAI announced that a swarm of roughly 10,000 coordinated AI agents, built on one of its internal models, produced a proposed resolution to the Navier–Stokes equations problem in about 88 hours. The agents worked in communicating subgroups with access to cached internet data and code execution tools, reaching their result on September 5. The Clay Mathematics Institute, which oversees the Millennium Prize Problems, has not yet verified or commented on the claim.
OpenAI says an unreleased internal AI model, running roughly 10,000 autonomous agents, produced a proof addressing the long-unresolved Navier-Stokes existence and smoothness problem within about 88 hours. The effort began after the company heard rumors that two Millennium Prize problems had been cracked elsewhere, prompting it to test the model on outstanding mathematical challenges. The result has not been peer-reviewed or accepted by the Clay Mathematics Institute, which oversees the Millennium Prize.
OpenAI says it used AI systems, backed by significant investment, to produce a solution to the Navier-Stokes equations, one of the seven unsolved Millennium Prize Problems in mathematics. The claim has drawn immediate pushback from rival labs and researchers who are scrutinizing whether the result truly meets the rigorous proof standards required for the prize.
OpenAI announced on 8 September that its latest AI model produced a proof showing that the Navier-Stokes equations, which model fluid motion, can break down and predict a fluid reaching infinite speed in finite time. This addresses one of the seven unsolved Clay Mathematics Institute Millennium Problems, which carries a $1 million prize for a full solution. OpenAI researchers say they focused their AI on this problem after hearing that two academic mathematicians were close to solving related aspects.
Caltech is organizing a 40-hour event called Mathathon, running October 30 to November 1, where about 100 teams will use frontier AI models with over $2 million in compute credits to tackle open mathematical conjectures. Teams will present their findings to leading mathematicians, who will judge their understanding and rigor, with prizes awarded initially and again later once results are independently verified by the math community.