403
Sorry!!
Error! We're sorry, but the page you were looking for doesn't exist.
OpenAI's AI Claims Solution to Navier-Stokes Puzzle
(MENAFN) OpenAI announced Tuesday that an as-yet-unreleased AI system has cracked the Navier-Stokes existence and smoothness problem — one of mathematics' seven celebrated Millennium Prize Problems — in what may rank among the most striking displays yet of machine intelligence pushing into advanced mathematical research.
According to the company, the model generated its solution over 88 hours, drawing on a swarm of as many as 10,000 AI agents operating simultaneously.
At the heart of the problem are the equations governing how fluids like water and air move.
Mathematicians have long asked whether solutions to these equations always behave predictably, or whether, under the right conditions, they can spiral into singularities. OpenAI's proof asserts that such a breakdown — often called a "blowup" — does occur, offering a resolution to a question that has stumped researchers for decades.
The Clay Mathematics Institute designated the Navier-Stokes problem as one of seven Millennium Prize Problems back in 2000, attaching a $1 million reward to a verified solution for each. Until now, mathematicians had cracked only one of the seven.
Alongside its findings, OpenAI published a technical paper laying out the proof, including a version encoded in Lean — a formal programming language built to mechanically verify mathematical reasoning. Even so, the claim won't be considered fully validated until the broader mathematical community has had a chance to examine it closely.
The announcement lands amid friction over a separate, parallel research effort by Tristan Buckmaster, a mathematician at New York University, and Levent Alpoge, who works at rival AI firm Anthropic. OpenAI acknowledged it accelerated its own push on the problem after catching wind that other researchers were exploring similar territory, though it maintains it never saw their actual work.
The episode underscores how quickly AI is muscling into the upper reaches of mathematics: over the past year alone, AI systems have cracked a string of long-standing problems that had eluded human mathematicians for years, sometimes decades.
According to the company, the model generated its solution over 88 hours, drawing on a swarm of as many as 10,000 AI agents operating simultaneously.
At the heart of the problem are the equations governing how fluids like water and air move.
Mathematicians have long asked whether solutions to these equations always behave predictably, or whether, under the right conditions, they can spiral into singularities. OpenAI's proof asserts that such a breakdown — often called a "blowup" — does occur, offering a resolution to a question that has stumped researchers for decades.
The Clay Mathematics Institute designated the Navier-Stokes problem as one of seven Millennium Prize Problems back in 2000, attaching a $1 million reward to a verified solution for each. Until now, mathematicians had cracked only one of the seven.
Alongside its findings, OpenAI published a technical paper laying out the proof, including a version encoded in Lean — a formal programming language built to mechanically verify mathematical reasoning. Even so, the claim won't be considered fully validated until the broader mathematical community has had a chance to examine it closely.
The announcement lands amid friction over a separate, parallel research effort by Tristan Buckmaster, a mathematician at New York University, and Levent Alpoge, who works at rival AI firm Anthropic. OpenAI acknowledged it accelerated its own push on the problem after catching wind that other researchers were exploring similar territory, though it maintains it never saw their actual work.
The episode underscores how quickly AI is muscling into the upper reaches of mathematics: over the past year alone, AI systems have cracked a string of long-standing problems that had eluded human mathematicians for years, sometimes decades.
Legal Disclaimer:
MENAFN provides the
information “as is” without warranty of any kind. We do not accept any
responsibility or liability for the accuracy, content, images, videos,
licenses, completeness, legality, or reliability of the information
contained in this article. If you have any complaints or copyright issues
related to this article, kindly contact the provider above.
Comments
No comment