Research
OpenAI Claims Solution to Navier-Stokes Problem
The Verge AIhigh confidence
Why it matters
- →Solving the Navier-Stokes problem is a major milestone in mathematics and AI.
- →The controversy highlights the ethical complexities of AI research and data usage.
- →OpenAI's achievement demonstrates the potential of AI in solving longstanding scientific problems.
OpenAI has announced a solution to the Navier-Stokes problem, a major mathematical challenge unsolved for 90 years. The solution was achieved using an internal AI model more powerful than GPT-6 Astra and 10,000 concurrent agents. However, controversy has arisen as researchers from NYU and Anthropic claim OpenAI may have used their work. OpenAI denies these claims, stating no specific user data was accessed. Despite the breakthrough, OpenAI will not claim the $1 million Millennium Prize.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
How we got here
- 1OpenAI Model Solves 80-Year-Old Geometry Problem
OpenAI · May 20, 2026 · Related
- 2OpenAI Achieves Math Breakthrough
The AI Daily Brief · May 24, 2026 · Related
- 3Open Models Propel AI Research at ICML 2026
NVIDIA Blog · July 6, 2026 · Background
- 4OpenAI and Anthropic's AI Race Sparks Industry Concerns
WIRED AI · July 30, 2026 · Background
- 5OpenAI reveals breakthroughs in math and computer science
OpenAI · August 1, 2026 · Related
- 6OpenAI's Astra Solves 10 Long-Standing Math Problems
The Rundown AI · August 3, 2026 · Related
- 7OpenAI's Astra Solves 10 Major Math Problems
The Rundown AI · August 3, 2026 · Related
- 8OpenAI Astra Solves Ten Longstanding Math Problems
The AI Daily Brief · August 4, 2026 · Background
What happened next
- 9OpenAI Faces Backlash from Mathematicians
TechCrunch AI · September 11, 2026 · Related
- 10OpenAI launches math advisory group amid controversy
TechCrunch AI · September 21, 2026 · Same story
- 11OpenAI claims Navier-Stokes proof via agents
WIRED AI · September 28, 2026 · Same story
- 12OpenAI claims major proofs in math, CS, and physics
The Verge AI · October 26, 2026 · Related
- 13OpenAI's math breakthroughs spark researcher backlash
The Verge AI · October 27, 2026 · Related
Follow this story
Open the full story →AI tackles Navier–Stokes Millennium Prize Problem
12 developments
- Sep 8 · OpenAI
AI tackles Navier–Stokes Millennium Prize Problem - Sep 8 · WIRED AI
OpenAI Claims AI Solved Major Math Problem↳ OpenAI denies plagiarizing Tristan Buckmaster and Levent Alpöge despite their claims regarding influence on the Navier-Stokes solution. - Sep 8 · TechCrunch AI
Controversy Erupts Over OpenAI's Math Problem Solution - Sep 8 · The Verge AI
OpenAI Claims Solution to Navier-Stokes Problem (This article) - Sep 9 · MIT Technology Review AI
OpenAI's Navier-Stokes Solution Sparks Controversy - Sep 9 · Wes Roth
OpenAI claims AI agents solved Navier-Stokes - Sep 9 · The Rundown AI
OpenAI's Model Solves $1M Math Problem - Sep 9 · The Verge AI
OpenAI's AI Solves Millennium Prize Problem - Sep 10 · The AI Daily Brief
OpenAI Releases Navier-Stokes Solution↳ OpenAI releases the Navier-Stokes solution tool. - Sep 11 · Matt Wolfe
OpenAI Releases ChatGPT Images 2.5 and Navier-Stokes Solution↳ OpenAI also released an updated image generation model, ChatGPT Images 2.5. - Sep 11 · Lev Selector
OpenAI Solves Navier-Stokes Problem with AI Agents↳ OpenAI used 10,000 AI agents working for 88 hours to solve the problem. - Sep 12 · The Verge AI
OpenAI's Controversial Win in Mathematics
More from The Verge AI
© The Verge AICoding Toolscoding
DIY Muse Gadget proves Meta's hardware is just a dev kit
Meta’s Muse Charm isn’t a finished product; it’s an invitation to hack. A non-coder used Claude Code to transform a $50 Waveshare ESP32-S3 dev board into a fully functional AI companion, adding ElevenLabs voice synthesis, custom Tamagotchi-style minigames, and remote camera controls that Meta’s official firmware lacks. This reveals a critical truth: the value of Meta’s new hardware ecosystem lies not in its out-of-the-box utility, but in its open-source API allowing anyone to rewrite the experience. The gap between Meta’s polished demo and the actual user reality is bridged entirely by third-party AI coding tools.
The Verge AI
© The Verge AIModels & Labsother
Apple Intelligence arrives in China via iOS 27.3
Apple is finally unlocking its AI suite for Chinese users with the iOS 27.3 beta, marking a significant regulatory milestone after months of approval delays. The rollout relies on Alibaba’s Qwen model rather than OpenAI, integrating features like notification summaries and visual intelligence directly into the OS. By sidestepping the new Siri in favor of established text and image tools, Apple is prioritizing immediate utility over the full generative experience. This move effectively brings Apple’s AI capabilities to a massive new market, albeit with localized constraints that distinguish it from the global release.
The Verge AI
© The Verge AIMarket & Regulationbusiness
Altman argues cloud RAM over local inference
Sam Altman is pushing back against the local AI trend, arguing that hoarding DRAM in personal devices is a global waste during a severe supply crunch. He points out that consumer hardware sits idle most of the time, whereas cloud data centers achieve the high utilization rates needed to justify the billions invested by players like OpenAI and Stargate. This isn't just an opinion; it's a defense of the centralized infrastructure model against the growing open-source movement. The real-world impact is visible in the locked-up supply from Samsung and SK Hynix, which drives up costs for everyone else.
The Verge AI
More in Research
© Cole MedinResearchagents
Anthropic study: Agents sway expert judgment 86% of time
Anthropic’s latest research exposes a quiet but dangerous flaw in agentic workflows: experts follow AI recommendations 86% of the time, often adopting the agent's reasoning as their own. This isn't just about accuracy; it's about cognitive capture, where human oversight dissolves into passive compliance. The study shows that even when users believe they are steering, the agent’s framing dictates the outcome. Practitioners must now actively counter this bias by forcing agents to justify deviations or prototype alternatives before committing to a path. This shift demands a new discipline in how we interact with coding assistants. We can no longer assume our intent drives the result; the model's suggestion often becomes the default truth. The real work is ensuring we remain the architects, not just the approvers.
Cole Medin
© WIRED AIResearchother
AI-Augmented Infostealer 'Volta-Autodoxer' Targets High-Value Victims
Cisco Talos has uncovered a new infostealer strain that actively uses commercial LLMs to profile victims and prioritize high-value targets. Dubbed Volta-Autodoxer, the malware collects credentials and browsing data, then feeds this into models like Claude Opus 4.6 via OpenRouter to generate structured intelligence dossiers. This marks a shift from passive data theft to active, AI-driven triage, allowing attackers to bypass guardrails with fallback models like Kimi K2 or Gemini. The capability foreshadows a future where lower-sophistication criminals can execute sophisticated, targeted attacks at scale.
WIRED AI
© Matt WolfeResearchresearch
OpenAI Disproves Exponential Time Hypothesis
OpenAI researchers published findings disproving the Exponential Time Hypothesis, a major result in computational complexity theory.
Matt Wolfe