GoKawiil
Tech News
OpenAI says an unreleased AI model produced a proof addressing the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize math problems, completing the work in 88 hours. The proof reportedly identifies a scenario where the fluid-dynamics equations break down mathematically, though researchers stress this doesn't mean real fluids like water would physically behave that way.
OpenAI says an unreleased model produced a resolution to the Navier–Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a $1 million reward. NYU professor Tristan Buckmaster, who had spent nearly a year on related work with Anthropic researcher Levent Alpöge using Claude and Codex, rushed out his own paper alleging OpenAI's team began work only after hearing rumors of his breakthrough, and that OpenAI would not clarify whether its model had accessed his private drafts.
NYU's Buckmaster and his collaborator Alpöge published a proof that a simplified version of the Navier-Stokes equations can break down, after nearly a year of work using public AI models. Hours later, OpenAI released its own proof covering the full equations using an unreleased internal model, but Buckmaster alleges OpenAI tried to pressure him into excluding his co-author, who works at Anthropic, and dodged questions about whether their models were trained on his private work transcripts.
OpenAI published a preprint claiming to show that the Navier-Stokes equations, which govern fluid motion, can break down under certain conditions, describing a spinning fluid system reaching infinite speed in finite time. The claim addresses part of one of mathematics' seven Millennium Prize Problems, but mathematicians have raised concerns over how the result was announced and over authorship disputes involving researchers connected to rival company Anthropic.
NYU mathematician Tristan Buckmaster alleges OpenAI accelerated its own Navier-Stokes work after learning a rival team using Anthropic's Claude was nearing a solution, and suspects OpenAI's Codex tool may have drawn on his team's draft sessions. Buckmaster says he was offered two credit-sharing arrangements, both of which he rejected, including one that would have excluded his collaborator Levent Alpöge from a paper. OpenAI researcher Sebastien Bubeck and CEO Sam Altman have publicly disputed parts of Buckmaster's account, and OpenAI says it won't seek the $1 million prize tied to the problem.
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 says an internal AI model, more capable than GPT-6 Astra, generated a solution to part of the Navier–Stokes existence and smoothness problem, one of the Millennium Prize Problems. The proof demonstrates that three-dimensional incompressible fluid dynamics governed by these equations can develop a singularity—unbounded speed growth—in finite time, even from smooth initial conditions. OpenAI released both a written explanation of the proof and a formal verification built in the Lean proof assistant.
OpenAI claims its internal AI model, paired with 10,000 concurrent agents, solved the century-old Navier-Stokes equation, one of the seven Millennium Prize Problems worth $1 million. However, NYU professor Tristan Buckmaster says he and Anthropic researcher Levent Alpöge had been developing a nearly identical proof using OpenAI's Codex tool, and he suspects OpenAI may have drawn on their unpublished work without clear confirmation from the company.
OpenAI announced that an AI model produced a Lean-verified solution to a key case of the 200-year-old Navier-Stokes equation, one of the Clay Millennium Prize problems, after running over a thousand agents for more than 50 hours at a cost of millions of dollars in compute. The announcement came shortly after mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge posted their own related advances, and Buckmaster has accused OpenAI of rushing to claim credit after learning of their progress.
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.
Terence Tao posted a paper showing that a modified, 'averaged' version of the three-dimensional Navier-Stokes equations can develop a finite-time singularity, even though this modified equation preserves the same energy identity and function-space bounds as the real equations. Earlier blowup examples for Navier-Stokes-like systems either lacked the energy identity or required five or more dimensions; Tao's construction is the first to combine three dimensions, the energy identity, and finite-time blowup.