Tech9 Sep 2026
OpenAI Claims 90-Year-Old Math Breakthrough With AI Agent Swarm, Igniting Academic Credit Dispute
OpenAI announced that an experimental AI system deployed across roughly 10,000 concurrent agents resolved the 90-year-old Navier-Stokes existence and smoothness problem in 88 hours. The milestone, which generated 130 billion output tokens and arrived alongside a formal verification in the Lean proof language, carries a million-dollar Millennium Prize designation. The claim quickly provoked intense controversy after an NYU mathematician alleged the company raced to front-run his unpublished work and may have benefited from private research sessions stored in OpenAI tools.
By NeuraFeed