OpenAI's Navier-Stokes Claim Draws Widespread Backlash from Mathematicians

In early September (around September 8), OpenAI claimed its AI agents had solved the existence and smoothness problem for the Navier-Stokes equations, one of the Millennium Prize Problems carrying a $1 million reward. The claim immediately sparked debate among mathematicians over independence, attribution, whether the solved problem was the original one, and OpenAI's credibility; no independently verified proof has been released.

Confirmed

• Per a Wired report relayed by @emmanuelvivier, NYU professor Tristan Buckmaster and mathematician Levent Alpoge had been independently working on the problem; Buckmaster publicly accused OpenAI of deploying tens of thousands of agents to finish the result first after learning the problem was nearly solved, allegedly appropriating ideas from his Codex sessions.
• Per Scientific American (relayed by @scientificamerican, @PolarBearby, @AnkaReuel), three mathematicians argued OpenAI's proof 'exploited a loophole': it may solve a variant with different parameters/assumptions rather than the original Millennium Problem, 'evading the problem rather than solving it'.
• Per a Guardian editorial relayed by @nordicinst, some in mathematics call the episode an 'existential crisis' for the field, stressing that human mathematicians remain indispensable to the result.
• Per @burnytech, @polynoamial clarified AI was not responsible for Terence Tao's team's Navier-Stokes work; @hallerite added that Millennium Problems won't fall this easily and frontier models can't yet coordinate 10,000-agent clusters.
• Per @teortaxesTex, Rohit Krishnan reacted with 'This is insane!'; since OpenAI hasn't disclosed the solution, teortaxesTex suggested publishing an unambiguous problem statement and a hash of the answer so outsiders can verify before official release.
• Per @gerardsans, AI researcher Gerard Sans argued OpenAI has repeatedly distorted technical details for years, and advised treating any OpenAI announcement as marketing — 'a bit of technical truth plus lots of exaggeration'.
• Per @IAmSamFin, Sam Fin quoted a tweet about getting 27 lemmas in half an hour, jokingly offering 50 lemmas in 20 minutes for $1 billion, noting reports that OpenAI's Navier-Stokes breakthrough was actually just one lemma.
• Per a New Scientist report relayed by @burnytech, mathematics has seen only two fundamental disruptions in centuries — printing and computers — and AI's impact is seen as far greater, reshaping mathematicians' roles.
• Not all researchers are critical. Per @acoolrandomusername, researcher Acer wrote that OpenAI's internal math model solved problems that keep researchers up at night, criticizing academics for downplaying progress with 'it's just an Erdős problem' rhetoric.
• Per @skdh, in a debate involving Gary Marcus, physicist Sabine Hossenfelder defended OpenAI, saying the strategy used is clearly permitted under Clay Mathematics Institute rules and mathematicians' post-hoc 'that's not what we meant' argument doesn't hold up.
• Per @arannayebi relaying @haider1, OpenAI's newly trained internal model also claims to have solved over 100 long-standing open problems across most areas of mathematics, progress that reportedly surprised even OpenAI's internal mathematicians; this too is unverified.

Unconfirmed

• The claimed result itself, solution details, the 'tens of thousands of agents' accusation, the 'variant not original problem' criticism, the 'just one lemma' claim, and the '100+ open problems' claim all rest on media reports and one-sided accounts; no independently verified proof, confirmed problem statement, or attribution conclusion exists.

Why it matters

• The episode exposes intellectual property and attribution problems in AI-assisted frontier mathematics: model training and session data may absorb unpublished research ideas, making credit hard to assign.
• Scientific American's skepticism directly conflicts with Hossenfelder's defense based on Clay rules; the core dispute is what problem was actually solved and whether changing judging standards after the fact is fair. Mechanisms like publishing problem statements and answer hashes could lower trust costs.
• Opinion is polarized: backlash against hype and defense of human mathematicians on one side, and views like Acer's and Hossenfelder's that academia may be systematically underestimating AI's mathematical progress on the other.
• OpenAI's repeated accusations of overstating claims further erode public and academic trust in major AI lab announcements, underscoring the need for independent verification.

2026-09-20 ~ 2026-09-22 · 16 related posts

Full story(5 episodes)→

• Episode 1: Debate Erupts Over Agent Swarm's Role in Navier-Stokes Proof(2026-09-18, 12 posts)
• Episode 2: Noam Clarifies Multi-Agent Systems Contributed Under 10% to Millennium Problem(2026-09-19, 3 posts)
• Episode 3: AI Solves Navier-Stokes with 130B Tokens, Sparking Debate(2026-09-20, 2 posts)
• Episode 4: Report: OpenAI Used ~10,000 Agents to Tackle Navier–Stokes(2026-09-20, 2 posts)
• Episode 5: OpenAI's Navier-Stokes Claim Draws Widespread Backlash from Mathematicians(2026-09-20, 16 posts)

• [source] Mathematician says OpenAI used his work to beat him on Navier-Stokes — and can't quit AI — emmanuelvivier · 2026-09-20
• [source] OpenAI's Navier-Stokes claim under fire: did Codex lift two mathematicians' approach? — ExamImmediate8956 · 2026-09-20
• OpenAI claims AI agents solved Navier-Stokes; mathematicians dispute credit and independence — nordicinst · 2026-09-21
• OpenAI solves Navier-Stokes-related problem as AI upends mathematics, New Scientist reports — burny_tech · 2026-09-21
• Don't Expect Frontier Models to Coordinate a 10K Agent Swarm Yet — burny_tech · 2026-09-21
• Navier-Stokes proof backlash fuels criticism of OpenAI's marketing-style announcements — gerardsans · 2026-09-21
• Researcher: OpenAI has a track record of misrepresenting technical claims — gerardsans · 2026-09-21
• [source] Did OpenAI Solve the Wrong Navier-Stokes Problem? Scientific American Weighs In — scientificamerican · 2026-09-22
• Mathematicians say OpenAI's Navier-Stokes proof dodges the real Clay problem — PolarBearby · 2026-09-22
• OpenAI withholds benchmark solutions; community proposes publishing hashes for verification — teortaxesTex · 2026-09-22
• Researcher: OpenAI Internal Math Model Solved Problems Academia Keeps Underrating — acoolrandomusername · 2026-09-22
• OpenAI urged to publish problem statements and solution hashes for replication — teortaxesTex · 2026-09-22
• OpenAI's new internal model claimed to crack Navier-Stokes and 100+ open math problems — aran_nayebi · 2026-09-22
• "50 lemmas in 20 minutes for $1B": OpenAI's Navier-Stokes progress was reportedly just one lemma — IAmSamFin · 2026-09-22
• Three mathematicians say OpenAI's Navier-Stokes claim dodges the problem rather than solving it — AnkaReuel · 2026-09-22
• Physicist pushes back on AI math proof criticism: strategy allowed by Clay criteria — skdh · 2026-09-22