GoKawiil
Tech News
OpenAI announced that its most advanced AI model produced a mathematical proof that the Navier–Stokes equations, which describe fluid flow, can generate a singularity — a point of physically impossible infinite speed. Mathematician George Karniadakis calculated that for air this breakdown occurs at a vortex width of about 70 nanometres, roughly the distance a molecule travels before colliding with another.
An AI system built by OpenAI reportedly produced a proof resolving a case of the Navier-Stokes blowup problem, one of the seven Millennium Prize problems, by constructing a counterexample rather than new theoretical machinery. The work built partly on prior human research, including contributions from mathematicians Tristan Buckmaster and Levent Alpoge, and marks the first Millennium problem tackled by an AI attempting all seven in parallel.
OpenAI says it has solved a Millennium Prize-level math problem, extending a string of high-profile claims in mathematics. Researchers including Tristan Buckmaster and Andreas Thom say the company has been vague about whether their own prior work, done through OpenAI's Codex tool, fed into its results. OpenAI denies this, insisting Buckmaster's recent prompts could not have influenced the system's training.
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.