Mathematicians Accuse OpenAI of Racing to Claim Their Unfinished Proof

In early September 2025, accusations that OpenAI "stole" mathematicians' in-progress work ignited debate across the math and AI communities, turning into a dual discussion about the reality of AI math capabilities and research ethics. OpenAI has not formally responded.

Confirmed

• A math professor posted on LinkedIn that "OpenAI may have stolen another major proof," sparking widespread controversy (@lowkeysciguy); Jürgen Schmidhuber amplified the story (@hardmaru).
• Mathematician Leven Alpöge (@alpoge) published the points he raised to OpenAI on the night of September 2: he claimed intelligence indicated OpenAI had learned of his ongoing work and assembled a competing team days earlier; he stressed it was a rigorous personal collaboration lasting a year (@mvpatel2000).
• Per @新智元, NYU mathematician Tristan Buckmaster and Leven Alpöge's team had spent months using AI to attack the Navier-Stokes equation and other Millennium Problems; they publicly accused OpenAI of learning their solution path "in the final days" and marshaling massive compute to race ahead.
• Mathematician littmath rebutted the theft claims point by point, arguing the evidence is very weak and such narratives mainly serve to deny rapid model progress, which he called dangerous for the health of mathematics; AI×math success is real (@littmath, @AashishReddy).

Unconfirmed

• The claim that OpenAI reviewed Codex session logs tagged Navier-Stokes to find the most promising approach remains rumor.
• Whether OpenAI actually accessed or exploited logs or ideas, or built a competing team, is unverified pending an official response.
• Terence Tao's reported criticism that "AI destroys open science" is based on secondhand accounts.

Why it matters

• The case touches core disputes over AI coding tools' data usage, privacy, and IP boundaries: if platforms can inspect and exploit researchers' accumulated ideas, academic trust in AI tools will be shaken.
• littmath's rebuttal represents a counterpoint—denying model progress via "theft" narratives is equally dangerous. The outcome will shape how mathematicians and AI labs cooperate going forward.

2026-09-09 ~ 2026-09-11 · 6 related posts

Full story(20 episodes)→

• Episode 1: Rumors claim GPT-6 cracks Navier-Stokes, credibility doubtful(2026-09-05, 2 posts)
• Episode 2: OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(2026-09-09, 13 posts)
• Episode 3: Existence Proof Effect: Rumor of Solvability Drove OpenAI's Navier-Stokes Attempt(2026-09-09, 3 posts)
• Episode 4: Mathematicians Accuse OpenAI of Racing to Claim Their Unfinished Proof(2026-09-09, 6 posts)
• Episode 5: Anthropic Faces Ethics Backlash Over Math Proof and Scooped Collaboration(2026-09-09, 2 posts)
• Episode 6: Rumors swirl that OpenAI nears Hodge and BSD conjectures as Millennium Prize problems fall(2026-09-10, 27 posts)
• Episode 7: OpenAI Claims Navier-Stokes Solved, Progress on a Second Millennium Problem(2026-09-10, 21 posts)
• Episode 8: Mathematician accuses OpenAI of training Astra on his unpublished work; OpenAI denies(2026-09-10, 9 posts)
• Episode 9: Navier–Stokes Authorship Dispute Fuels Debate Over AI Labs' Scooping Culture(2026-09-10, 6 posts)
• Episode 10: OpenAI denies Codex prompts influenced training as "stolen chat data" claims unravel(2026-09-11, 8 posts)
• Episode 11: OpenAI's Millennium Prize Claim Mired in Authorship and Scooping Dispute(2026-09-11, 10 posts)
• Episode 12: AI Circles Speculate Millennium Prize Problems May Fall to AI(2026-09-11, 2 posts)
• Episode 13: Math Community Splits Over AI's Role After OpenAI's Millennium Prize Claim(2026-09-11, 8 posts)
• Episode 14: Rumor: OpenAI Aims Internal Model at Riemann Hypothesis and P vs NP(2026-09-11, 7 posts)
• Episode 15: OpenAI's Navier-Stokes Proof Passes Rechecks but Faces Scrutiny(2026-09-11, 2 posts)
• Episode 16: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(2026-09-12, 18 posts)
• Episode 17: Misread as Anti-AI, Terence Tao Sparks Debate Over the Value of Mathematics(2026-09-12, 18 posts)
• Episode 18: Fields Medalists' Open Letter on AI Sparks Cross-Disciplinary Debate(2026-09-12, 6 posts)
• Episode 19: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(2026-09-13, 8 posts)
• Episode 20: OpenAI Claims 10,000 Agents Solved Navier-Stokes Problem in 88 Hours(2026-09-14, 11 posts)

• [source] Mathematician accuses OpenAI of spinning up competing team after learning of his work; Bubeck denies — mvpatel2000 · 2026-09-09
• Schmidhuber Slams AI Plagiarism History as OpenAI Accused of Stealing a Math Proof — hardmaru · 2026-09-10
• [source] Tao warns AI is killing open science after OpenAI accused of scooping NYU mathematicians — 新智元 · 2026-09-10
• Math professor alleges OpenAI "stole another major proof" — unverified LinkedIn claim sparks drama — lowkeysciguy · 2026-09-10
• [source] Mathematician littmath pushes back on claims AI math wins rely on stealing work in progress — littmath · 2026-09-11
• Math debate: claims AI stole mathematicians' work are weak, says littmath — _AashishReddy · 2026-09-11