# OpenAI, Anthropic Dispute Over Navier-Stokes Problem Solution Credit

> The most interesting AI-for-math story of the year is also the messiest. According to TechCrunch, Anthropic researcher Levent Alpoge and NYU mathematician Tristan Buckmaster used Claude and Codex to produce proofs of finite-time blowup in three fluid-dynamics systems, formalized in the Lean proof assistant so the results can be checked line by line. Crucially, this is progress on hard fluid equations, not a solution to the Navier-Stokes Millennium Prize problem itself, a distinction that keeps getting flattened in the retelling. Weeks later, OpenAI launched a competing effort, and that is where things turned. Buckmaster alleges OpenAI chose an almost identical mathematical route, including a technique he had quietly settled on, and that researchers made pointed remarks about his career. OpenAI frames its work as an independent internal result. Strip away the drama and the episode is a preview of how frontier AI is reshaping research norms. When models can push real mathematics forward in weeks, questions of priority, credit, and conduct that were once settled slowly among humans suddenly move at machine speed. The proofs may hold up, but the etiquette around them clearly has not caught up.

_Section: [Daily AI Updates](https://www.wortins.com/daily-ai) · Source: TechCrunch · Published Wednesday, September 9, 2026_

## Wortins' read

The most interesting AI-for-math story of the year is also the messiest. According to TechCrunch, Anthropic researcher Levent Alpoge and NYU mathematician Tristan Buckmaster used Claude and Codex to produce proofs of finite-time blowup in three fluid-dynamics systems, formalized in the Lean proof assistant so the results can be checked line by line. Crucially, this is progress on hard fluid equations, not a solution to the Navier-Stokes Millennium Prize problem itself, a distinction that keeps getting flattened in the retelling. Weeks later, OpenAI launched a competing effort, and that is where things turned. Buckmaster alleges OpenAI chose an almost identical mathematical route, including a technique he had quietly settled on, and that researchers made pointed remarks about his career. OpenAI frames its work as an independent internal result. Strip away the drama and the episode is a preview of how frontier AI is reshaping research norms. When models can push real mathematics forward in weeks, questions of priority, credit, and conduct that were once settled slowly among humans suddenly move at machine speed. The proofs may hold up, but the etiquette around them clearly has not caught up.

## Source

[Read the full story at TechCrunch](https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/)

## Related coverage

- [Researchers used AI to build a WeChat worm that spreads through phone calls](https://www.wortins.com/story/researchers-used-ai-to-build-a-wechat-worm-that-spreads-thro-8bf3f469) — [The Next Web](https://thenextweb.com/news/wechat-worm-ai-calif-tencent-zero-click)
- [Letter: the Senate disaster management subcommittee, led by Sen. Josh Hawley, is probing OpenAI's handling of the Hugging Face breach, calling it "reckless" (Axios)](https://www.wortins.com/story/letter-the-senate-disaster-management-subcommittee-led-by-se-da54156c) — [Techmeme](https://www.techmeme.com/260910/p11#a260910p11)
- [Suno launches v6 music models built with Warner, BMG, and Believe](https://www.wortins.com/story/suno-launches-v6-music-models-built-with-warner-bmg-and-beli-9ba43843) — [The Decoder](https://the-decoder.com/suno-launches-v6-music-models-built-with-warner-bmg-and-believe/)
- [STAT+: Can AI fix the emergency room?](https://www.wortins.com/story/stat-can-ai-fix-the-emergency-room-a71d00ee) — [STAT](https://www.statnews.com/2026/09/09/scribe-emergency-room-fix-health-care-ai-prognosis/?utm_campaign=rss)
- [IBM and NASA release an open-source lunar foundation model](https://www.wortins.com/story/ibm-and-nasa-release-an-open-source-lunar-foundation-model-0522b9e8) — [The Next Web](https://thenextweb.com/news/nasa-ibm-lunar-foundation-model-open-source)
- [Top AI spenders cut per-employee costs by nearly 10 percent in August](https://www.wortins.com/story/top-ai-spenders-cut-per-employee-costs-by-nearly-10-percent--b31ffb0b) — [The Decoder](https://the-decoder.com/top-ai-spenders-cut-per-employee-costs-by-nearly-10-percent-in-august/)

---

_Curated and written by [Wortins](https://www.wortins.com) — The daily AI briefing. Every story links to its original source; the "Wortins read" on each is our own original analysis. [About Wortins & our editorial approach](https://www.wortins.com/about)._