NYU mathematician disputes OpenAI's attribution in Navier-Stokes proof announcement

OpenAI announced that its unreleased next-generation model solved the Navier-Stokes existence and smoothness Millennium Prize Problem, but NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge, who published related proofs using Codex and Claude models, dispute the attribution, claiming OpenAI built on their work without crediting them. OpenAI acknowledged awareness of their efforts but denied using their research, highlighting tensions over attribution and resource concentration as AI models become essential for solving major mathematical problems.

NYU mathematician disputes OpenAI's attribution in Navier-Stokes proof announcement According to MIT Technology Review and TechCrunch, OpenAI announced its agents solved the Navier-Stokes existence and smoothness Millennium Prize Problem using an unreleased next-generation model, but NYU mathematician Tristan Buckmaster and Anthropic employee Levent Alpöge, who published related proofs using Codex and Claude models, claim OpenAI built on their work without crediting them. OpenAI acknowledged hearing about Buckmaster and Alpöge's efforts but denies using their research; the dispute highlights tensions over attribution and resource concentration as AI models become essential for solving major mathematical problems. Topics Sources - Press MIT Technology Review https://www.technologyreview.com/2026/09/08/1143747/what-openais-latest-controversy-tells-us-about-the-future-of-math - Press TechCrunch https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician - Press The Verge https://www.theverge.com/ai-artificial-intelligence/991710/openai-navier-stokes-solution Go deeper This intelligence is sourced automatically from public sources across the web and synthesised by the Prefactor AI pipeline. Stories are reviewed before publication.