On September 12, 2026, the Guardian reported that mathematicians are alarmed after OpenAI claimed its internal model solved the Navier-Stokes Millennium Prize Problem using some 10,000 AI agents at an estimated cost of around 15 million dollars. Researchers worry that industrial scale AI proofs could scoop years of human work, distort credit, and make mathematicians de facto proof checkers for opaque machine generated arguments.
This article aggregates reporting from 4 news sources. The TL;DR is AI-generated from original reporting. Race to AGI's analysis provides editorial context on implications for AGI development.
The Navier-Stokes saga is the clearest sign yet that frontier models have crossed from helping with calculations into claiming ownership over foundational scientific results. OpenAI’s use of 10,000 agents and millions of dollars in compute to attack a Millennium Problem reframes AGI not just as a future capability benchmark, but as a present day competitive weapon in prestige science. That creates a direct conflict between open, collegial research culture and closed, IP driven lab incentives.([theguardianwings.pages.dev](https://theguardianwings.pages.dev/science/2026/sep/12/openai-mathematicians-millennium-prize-problem))
For the race to AGI, the controversy matters as much as the math. If industrial labs can rapidly sweep up long standing open problems, academics will share less, and more of the intellectual frontier will happen inside corporate firewalls. That could accelerate progress by concentrating resources, but it also means fewer independent eyes on proofs, fewer alternative approaches, and a higher risk that errors or misaligned goals go unchallenged. The backlash from mathematicians, who describe the effort as “immature playground boasting”, is an early signal that AGI era research norms are up for renegotiation. Expect more calls for disclosure rules, credit sharing frameworks and perhaps even limits on which open problems corporate labs are socially permitted to target.([theguardianwings.pages.dev](https://theguardianwings.pages.dev/science/2026/sep/12/openai-mathematicians-millennium-prize-problem))