OpenAI Cracks a Million-Dollar Math Problem — and the Credit Fight Starts Immediately

Today's biggest AI story isn't really about the breakthrough itself — it's about who gets to claim it.

OpenAI announced that an unreleased internal model, one the company describes as "significantly more capable" than its just-launched flagship, has produced a proof solving Navier-Stokes, one of mathematics' seven Millennium Prize problems and the equation set that governs how fluids flow. The company says it threw roughly 10,000 AI agents at the problem simultaneously, ran them for 88 hours, and spent an estimated "millions of dollars" in compute to get there. Sam Altman called it one of the most amazing moments in the company's history. It's a genuinely enormous result — Navier-Stokes has resisted a full solution for over a century, and a $1 million prize has sat unclaimed since 2000 waiting for someone to nail it down.

Except the win came with an asterisk attached almost immediately. A mathematician at NYU and a researcher at a rival AI lab say they'd spent roughly a year chasing the exact same approach, feeding their own draft work into OpenAI's own coding tool along the way, and had posted partial results online the night before OpenAI's announcement dropped. The NYU mathematician published a statement saying OpenAI only ramped up its own effort after learning about his work, and that the company never directly answered whether the drafts he'd fed into its tools ended up training the model that beat him to the finish line. OpenAI's response was carefully worded: it says it never saw his actual work and that no specific user data was accessed, while stopping short of ruling out that usage patterns broadly may have shaped its models. Whatever the truth turns out to be, the dispute has mostly buried what should be one of the year's cleanest wins for AI-assisted science — and it's a pointed reminder that the models labs keep behind closed doors are running well ahead of whatever ships to the public.