Did OpenAI solve the wrong Navier-Stokes problem? | Scientific American

Skip to main contentScientific AmericanOctober IssueNewslettersPodcastsGamesExploreBiologyChemistryEnvironmentHealthMathMind & BrainTechnologySocial SciencesSpace & PhysicsLatest NewsIssue ArchiveSpecial ReportsVideosBooksSubscribeSign InOctober IssueNewslettersPodcastsGamesExploreBiologyChemistryEnvironmentHealthMathMind & BrainTechnologySocial SciencesSpace & PhysicsLatest NewsIssue ArchiveSpecial ReportsVideosBooksNew Issue: Science’s Impossible Questions. Read NowSeptember 21, 20264 min read Add Us On GoogleAdd SciAmDid OpenAI solve the wrong Navier-Stokes problem?OpenAI’s proof seems eligible for a $1-million prize—but only by using a controversial loopholeBy Joseph Howlett edited by Lee BillingsOpenAI’s solution exploits an external force to break the Navier-Stokes equations, which are supposed to describe how fluids, such as water, flow. Tom Rogers/500px/Getty ImagesRead about how mathematicians are dealing with the AI takeover of their field in our feature here.Love math? Sign up for our weekly newsletter Proof PositiveEnter your emailI agree my information will be processed in accordance with the Scientific American Inc. Privacy Policy. We leverage third party services to both verify and deliver email. By providing your email address, you also consent to having the email address shared with third parties for those purposes.Sign UpTwo weeks ago OpenAI claimed a solution to one of the biggest open problems in math—the Navier-Stokes problem—an achievement worth a $1-million prize from the Clay Mathematics Institute. The proof ignited a powder keg of concern over artificial intelligence companies’ race to disrupt the subject.But with the dust still far from settled, a different controversy is emerging: Did OpenAI even solve the right Navier-Stokes problem?Generated by an internal large language model (LLM), OpenAI’s proof relies on an approach that many experts find unnatural. It solves a variant of the problem that mathematicians say is disconnected from reality and thus less interesting. In a sense, the LLM found and exploited a loophole in the framing of the question.On supporting science journalismIf you're enjoying this article, consider supporting our award-winning journalism by subscribing. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today.“The most important problem is unsolved,” says Luis Silvestre, a mathematician at the University of Chicago. “The Clay problem is settled, but the main problem for the Navier-Stokes equations is not.”Furthermore, last Thursday, three mathematicians posted a proof of their own that showed that OpenAI’s method can never be extended to solve the full problem. In other words, the loophole will never be closed, barring some completely new idea.The Navier-Stokes equations are supposed to describe how fluids flow, but mathematicians doubt whether they can always be trusted. The million-dollar problem is about whether the equations ever “blow up,” which would mean they’d allow the flow to be infinitely fast at points—something that can’t happen in the real world.But there’s one piece of the equations that’s optional—sometimes it’s there; sometimes it isn’t. The “it” here is an external force such as gravity that affects how a fluid moves. “All fluids we know of are under some kind of external force,” says mathematician Diego Córdoba. “So to have the force makes complete sense.”When most experts think about the Navier-Stokes problem, though, it’s without this force. They want to find a purer, more fundamental way for the equations to blow up by using only the intrinsic forces within any fluid—not by applying some specific, precisely contrived external force. “Most of the other groups, it’s true, were specifically considering the scenario without a force,” says mathematician Luis Martínez-Zoroa.In the past few years, though, Córdoba and Martínez-Zoroa put all their focus on this niche piece of the equations and laid out a method to build a very specific external force to trigger a blowup. On September 7 two other mathematicians used their program (and AI) to produce a blowup for a frictionless fluid—considered a major step toward blowing up Navier-Stokes. OpenAI finished the job less than a day later—timing that has led to a heated dispute between the latter two mathematicians and the company.But the new work released last Thursday shows unequivocally that if the force is removed, the blowup will disappear. OpenAI’s method can never work, in fact, without using a very contrived equation for the force that is unlike anything that could occur in the real world. “They essentially prove that the formulation with an external force was different from the problem we really wanted to solve,” Silvestre says.In other words, the LLM’s result does not—and will never—answer the Navier-Stokes problem that mathematicians really care about.It did, however, unambiguously solve the problem according to the Clay Institute’s original formulation. The official problem statement, penned in 2000 by mathematician Charles Fefferman, offers an option called “C,” in which solutions are allowed to use an external force like OpenAI’s.Now fluid dynamicists are grappling with a possibility few had considered before: the idea that the Navier-Stokes equations can blow up but only with an external force. In this scenario, you can mathematically place a fluid in a specific, unrealistic situation to break the equations, yet the blowup can never come from the fluid itself.“It’s really uncertain at this moment,” says mathematician Gonzalo Cao-Labora. “Depending on the answer to this, I think the contribution of OpenAI will be regarded differently.” If it turns out to be true, he adds, “people would probably think about the Clay problem and say, ‘We shouldn’t have put the external force in the statement.’”This might even be good news for “team humanity.” LLMs are great at finding blowups that exist—at searching the infinite landscape of fluid scenarios and plucking out the precise situation that breaks the equations. But proving that blow-up is impossible is a kind of math AI still struggles with. “We may be at less of a disadvantage, or maybe an advantage, compared to LLMs,” says Cao-Labora. “LLMs are especially good at constructing things that are very explicit and not as good—for now—in making new theory.”But regardless of whether the path to solving the full Navier-Stokes problem requires a clever new blowup or a whole new mathematical discipline, everyone is becoming more hesitant to bet against the machines.“We are really amazed with how [the technology] has evolved in the last year—so we don't know how it will look in one year,” says Cao-Labora. “It’s really a wake-up call to the community.”Rights & PermissionsJoseph Howlett is a senior reporter at Scientific American covering physics, math, astronomy, and more. He was previously a math staff writer at Quanta Magazine and holds a Ph.D. in particle physics from Columbia University.More by Joseph HowlettSubscribe to Support Independent JournalismGreat science journalism requires human expertise, time, effort and creativity. And it costs money. That’s why I and the journalists here at Scientific American hope you’ll join our community.When you subscribe, you are supporting staff and freelance journalists who are passionate about telling science stories that are true, important and compelling. Our editors and reporters are often experts in their fields, which means they understand the nuances of big discoveries and can untangle the breakthroughs from the hype. With a subscription, you are also supporting rigorous fact-checking to ensure the words we publish are precise and accurate. And you’re supporting original illustrations, graphics and photos that bring you closer to an advanced laboratory, an ice sheet in Antarctica or a space mission in orbit. You’re helping us craft other types of high-quality journalism as well: Our newsletters are carefully written, edited and curated by staffers you have or will come to know and love. Our Science Quickly podcast is based on original reporting, collaboration with editors and scientists and exacting production.Subscriptions keep this engine running so we can continue to deliver thoughtful, rigorous and independent science journalism to you. In an era of viral misinformation, this work is crucial. If you value what we do, I hope you’ll consider joining us as a subscriberThank you,Jeanna Bryner, Editor in Chief, Scientific AmericanSubscribeSubscribe to Scientific American to learn and share the most exciting discoveries, innovations and ideas shaping our world today.Subscription PlansGive a Gift SubscriptionExplore SciAmLatest IssueNewsOpinionNewslettersPodcastsGamesTravelCompanyAboutPress RoomFAQsContact UsStandards & EthicsInternational EditionsAdvertiseMoreAccessibilityTerms of UsePrivacy PolicyUS State Privacy RightsUse of cookies/Do not sell my dataReturn & Refund PolicyScientific American is affiliated with LabX Media Group, which owns or has commercial relations with other B2B and B2C brands (many of them can be found at www.labxmediagroup.com). Scientific American maintains a strict policy of editorial independence in reporting developments in science to our readers.© 2026 SCIENTIFIC AMERICAN INC.ALL RIGHTS RESERVED.

OpenAI claimed a solution to the Navier-Stokes problem, a challenge valued at one million dollars by the Clay Mathematics Institute, but this achievement is complicated by a controversy regarding the specific formulation of the problem solved. The core dispute centers on whether the proof genuinely solved the most fundamental mathematical challenge or merely exploited a loophole in the problem's framing.

The Navier-Stokes equations describe the flow of fluids, but the central unsolved question for mathematicians concerns whether these equations can "blow up," which would imply an infinitely fast flow at specific points, a scenario deemed impossible in the real world. Mathematicians generally prefer to investigate this blowup using only the intrinsic forces within the fluid, deliberately excluding external forces, as they seek a more fundamental understanding of the equations. This preference contrasts with the formulation accepted by the Clay Institute, which includes an option, designated as "C," allowing solutions to incorporate an external force, such as gravity.

OpenAI's solution leveraged this external force to achieve a mathematical blowup. This approach, which introduced a specific, contrived external force, is viewed by many experts as artificial, suggesting that the solution addresses a variant of the problem disconnected from the most fundamental inquiry. This distinction led to a further development where other mathematicians demonstrated that the method employing an external force cannot solve the Navier-Stokes problem when that force is removed. They established that the blowup disappears if the external force is absent, indicating that OpenAI's method does not resolve the core mathematical issue that physicists and mathematicians prioritize.

Nevertheless, OpenAI's result did successfully solve the problem according to the Clay Institute's original, wider formulation that permits the inclusion of an external force. This possibility introduces a new consideration for fluid dynamicists: the idea that a blowup might only be mathematically attainable when an external force is present. This necessitates grappling with the possibility that the external force itself was an unstated element in the problem's initial statement, which the mathematical community may now reconsider.

This situation highlights the evolving relationship between artificial intelligence and advanced mathematics. Large language models excel at identifying existing blowups by searching complex fluid scenarios, demonstrating a capability for pattern recognition in this domain. However, the ability to prove the impossibility of a blowup, a task requiring deeper theoretical reasoning, remains a challenge for these models. The controversy serves as a significant wake-up call for the mathematical community, prompting a greater hesitancy regarding the unverified claims made by machines in theoretical mathematics. It suggests that while AI is adept at constructing explicit results, proving new theoretical frameworks or dismissing complex scenarios may still require human intuition and creativity.