W3BStation
Markets
BTC $96,420 +2.34% ETH $3,280 +1.82% SOL $185.40 -0.92% BNB $642.50 +0.45% XRP $2.18 +3.12% DOGE $0.082 -1.50% ADA $1.05 +0.80% AVAX $42.10 +1.15%
BTC $96,420 +2.34% ETH $3,280 +1.82% SOL $185.40 -0.92% BNB $642.50 +0.45% XRP $2.18 +3.12% DOGE $0.082 -1.50% ADA $1.05 +0.80% AVAX $42.10 +1.15%
09/10/2026

OpenAI's AI Agents Claim Solution to $1M Navier-Stokes Millennium Problem, Sparking Academic Dispute

What happened: OpenAI announced that 10,000 autonomous AI agents running on an internal model more advanced than GPT-6 Astra produced a Lean-formalized proof of the Navier-Stokes existence and smoothn

OpenAI's AI Agents Claim Solution to $1M Navier-Stokes Millennium Problem, Sparking Academic Dispute

What happened: OpenAI announced that 10,000 autonomous AI agents running on an internal model more advanced than GPT-6 Astra produced a Lean-formalized proof of the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's Millennium Prize Problems. The agents ran for 88 hours, but mathematicians including Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic) are disputing the methodology and credit, citing possible overlap with their own work and raising questions about data contamination.

Why it matters: If verified, this would mark a historic milestone for AI in mathematical research. However, the lack of peer review and ongoing disputes over methodology and attribution highlight the challenges of evaluating AI-generated scientific breakthroughs. The episode also exposes tensions between AI labs and the academic community regarding transparency, collaboration, and credit.

Source: CoinDesk, Quanta Magazine, Washington Post