OpenAI claims Navier-Stokes solution amid authorship and verification disputes

OpenAI officially announced a candidate solution to the Navier-Stokes existence and smoothness millennium prize problem: a multi-agent system of about 10,000 concurrent agents, powered by a next-generation model significantly stronger than GPT-6 Astra, completed the work in roughly 88 hours plus about 17 hours of formal verification, claiming to have found a finite-time blowup. The news, covered by the New York Times, Wired, and Scientific American, shook the math world, but the proof has not been peer reviewed, and authorship and data-use controversies are escalating, with several scholars questioning whether the claims are overstated.

Confirmed

• OpenAI posted an official statement (openai.com/index/navier-stokes-solution/) and promoted it via official social accounts; per @Wes Roth, the work included 17 hours of formal verification, with Lean formalizations of the Navier–Stokes and Euler equations open-sourced.
• Multiple posts (@ResultBackground2450, @Cklly2004) consistently relay: 10,000 concurrent agents, 88 hours, a next-gen model stronger than GPT-6 Astra, and a claimed finite-time singularity; the problem has stood for about 90 years and concerns existence and smoothness of solutions to the 3D Navier–Stokes equations.
• Per @LatentSpaceLeaper relaying the official announcement, OpenAI said strict safety measures matching frontier model evaluations, including monitoring and isolation, were maintained throughout; the poster responded sarcastically.
• Wired reported that some scholars publicly questioned the appropriateness of such a high-profile announcement before peer review; @ShizukaKuze, @TheOneTrueEris, @CuriousAnyway and others emphasized the math community has not independently verified the result, and the community is split between "major milestone" and "wait for independent verification."
• Terence Tao commented on Mastodon regarding a possible major breakthrough by mathematicians Tristan Buckmaster and Levent Alpoge, citing an existing 100-page blowup proof (relayed by @FateOfMuffins).

Unconfirmed

• The mathematical validity of the proof still awaits peer review and independent verification.
• Per @PsychicorAI relaying a Reddit leak, OpenAI allegedly offered shared authorship to NYU tenured professor Tristan Buckmaster, who had worked on the problem for over a year, with allegedly threatening remarks after he refused — a one-sided claim.
• Per a Reddit leak relayed by @TheOnlyVibemaster, Buckmaster and Levent Alpöge spent about a year finding a specific blowup route, announcing an unknown blowup in early September; OpenAI allegedly spent about $15 million in compute and was accused of "scooping" the two mathematicians — neither the amount nor the motive is verified.
• Per @bakawolf123, the two mathematicians publicly stated they fed every draft to Codex during a year of research, and OpenAI produced the same solution days before publication; they said OpenAI did not answer whether the Sol and Astra models were trained on their private conversations — unverified allegations. Per @Neurogence, one of them, Anthropic mathematician Levent Alpoge, said it cannot be ruled out that de-identified data derived from user product usage helped improve the model.

Voices

• Aerospace engineering professor Chris Combs (relayed by @Mindrust) raised seven technical objections, arguing that "solving N-S" is inaccurate and badly overstated — the actual result concerns possible singularities only in a very narrow setting (perfectly smooth, incompressible, finite-energy initial conditions).
• @sykip argued the math community's fierce accusations of "stealing results" and "training on their data" amount to a collective malfunction, countering that human knowledge is built on prior work, and criticized Terry Tao's comments.
• @OdoBenSisko commented that frontier models cracking math problems are a "Pyrrhic victory" for CEOs: trade secrets and data flowing into AI could be turned against them.
• @imadade noted that AI went from IMO gold to attacking a millennium problem in under a year, making it hard for even the strongest skeptics to call it "stochastic parrots," and asked what 2027 will look like.
• Community sentiment is sharply polarized: @AffectionateBee6434 summed up pro-AI and anti-AI talking points in one meme; math and physics communities like r/physics mixed shock, doubt, and sourness with heavy meme-making (@KindFisherman3060, @heyhellousername, etc.).

Why it matters

• If the proof survives verification, AI will have crossed from competition-level problem solving into millennium-problem open research, potentially reshaping mathematical research and accelerating science. The disputes over authorship, data use, and peer review norms foreshadow institutional challenges as AI enters frontier research.

2026-09-08 ~ 2026-09-10 · 491 related posts

• Buckmaster may crack Navier-Stokes; OpenAI claims 100-page blowup proof — FateOfMuffins · 2026-09-08
• Rumor: OpenAI may have solved Navier-Stokes, a Millennium Prize problem — apples_jimmy · 2026-09-08
• Commentary: Buckmaster may have a workable route to a Navier-Stokes counterexample — Jsevillamol · 2026-09-08
• OpenAI Accused of Training on Employees' In-Progress Codex Work to Scoop Them — zephyr_z9 · 2026-09-08
• Rumor: OpenAI's internal model 'Bel' has solved Navier-Stokes, announcement expected — imjustnewatai · 2026-09-08
• Both AI Labs Reportedly Solved Navier-Stokes Independently Amid Growing Drama — basedjensen · 2026-09-08
• Rumor: Navier-Stokes reportedly solved with finite-time blow-ups reproduced at multiple labs — basedjensen · 2026-09-08
• Report: OpenAI's internal model 'Bel' produced a ~100-page proof for Navier-Stokes — imjustnewatai · 2026-09-08
• 'An 80-Year-Unsolved Math Problem Solved by AI Is a New Idea' — But Does That Make AGI? — therealkamba · 2026-09-08
• Anthropic researcher allegedly dropped from OpenAI math paper amid Codex training suspicions — basedjensen · 2026-09-08
• OpenAI rumored to have solved Navier-Stokes, a $1M Millennium Prize problem — iScienceLuvr · 2026-09-08
• TT weighs in: the method extends all the way to Navier-Stokes — basedjensen · 2026-09-08
• Rumor: OpenAI may have cracked Navier-Stokes progress via private Codex sessions — teortaxesTex · 2026-09-08
• Navier-Stokes breakthrough reportedly done with off-the-shelf commercial models, no internal OpenAI models — _sholtodouglas · 2026-09-08
• Mathematician Tristan Buckmaster slams OpenAI's jockeying for Navier-Stokes attribution credit — IgorCarron · 2026-09-08
• Insider pushes back on OpenAI training-on-private-Codex-sessions rumor, citing internal security controls — basedjensen · 2026-09-08
• Rumor: OpenAI may have solved Navier-Stokes, one of the seven Millennium Prize Problems — mark_k · 2026-09-08
• Navier-Stokes drama: Buckmaster statement references OpenAI's upcoming Condition C/D result — Singularitarian · 2026-09-08
• Rumor: Anthropic may have sniped OpenAI's Navier-Stokes breakthrough amid Codex session drama — teortaxesTex · 2026-09-08
• Mathematicians report major Navier-Stokes progress, say OpenAI may have fully solved it — sachinmaya1980 · 2026-09-08
• AI lab researcher calls for grace amid the Navier-Stokes credit fight between math and AI — jachiam0 · 2026-09-08
• Sebastien Bubeck denies 'false and inflammatory allegations', promises more to say tomorrow — SebastienBubeck · 2026-09-08
• OpenAI researcher: data access is locked down, no one spied on private Codex chats — willdepue · 2026-09-08
• Navier-Stokes priority fight looms, and an AGI giant's reputation may take the hit — teortaxesTex · 2026-09-08
• Do AI labs see all your work and scoop you when stakes are high enough? — suchenzang · 2026-09-08
• Developer pushes back on Codex privacy fears: user data almost certainly not used for training — _sholtodouglas · 2026-09-08
• Bubeck denies "false and inflammatory" allegations; Thom Wolf urges swift response — Thom_Wolf · 2026-09-08
• Sebastien Bubeck Denies 'False and Inflammatory' Allegations, Promises More to Come — haider1 · 2026-09-08
• Rumor: OpenAI allegedly swooped in on leaked Navier-Stokes breakthrough, pressured mathematician over authorship — birchlse · 2026-09-08
• Thom Wolf slams OpenAI's handling of mathematicians' AI-assisted math breakthrough — birchlse · 2026-09-08
• Removing an Anthropic author was allegedly the price of giving up research priority — generatorman_ai · 2026-09-08
• Rumors swirl that OpenAI will announce its internal model solved Navier–Stokes — haider1 · 2026-09-08
• NYU mathematician says LLMs helped crack fluid blowup problems in a month, accuses OpenAI of scoop and authorship pressure — dotey · 2026-09-08
• OpenAI accused of appropriating mathematicians' Navier-Stokes research direction before publication — Jsevillamol · 2026-09-08
• OpenAI won't deny it accessed mathematicians' private Codex session data — Jsevillamol · 2026-09-08
• OpenAI planned 'minimal human involvement' narrative despite directing a full team on the approach — Jsevillamol · 2026-09-08
• OpenAI accused of sidelining mathematician over his Anthropic affiliation in credit dispute — Jsevillamol · 2026-09-08
• Accusation swirls that Sebastian Bubeck pressured researcher over credit and announcement — Jsevillamol · 2026-09-08
• Sebastian Bubeck accused of intimidating language to push credit-assignment terms — Jsevillamol · 2026-09-08
• DeepMind Researcher Sholto Denies Rumor of Training on Rival Model Logs — apples_jimmy · 2026-09-08
• OpenAI accused of scooping research via user chats, sparking priority debate — generatorman_ai · 2026-09-08
• Buckmaster says OpenAI claimed its AI solved the Navier–Stokes Millennium Problem, sparking a credit dispute — kimmonismus · 2026-09-08
• Commentary: OpenAI's alleged session snooping over Navier-Stokes claim is a 'reputation nuke' — teortaxesTex · 2026-09-08
• OpenAI reportedly claims AI solved the Navier-Stokes Millennium Prize Problem, unverified — apples_jimmy · 2026-09-08
• Rumor: OpenAI may have solved Navier-Stokes, a 150-year-old fluid dynamics problem — carlosbannon · 2026-09-08
• Context emerges on the claim that OpenAI solved Navier–Stokes — jedisct1 · 2026-09-08

4 near-duplicate retellings: basedjensen · basedjensen · apples_jimmy · aaron_lou