OpenAI says 10,000 AI agents solved Navier-Stokes in 88 hours
OpenAI released a 165-page paper and Lean files, while Clay still lists the $1M Millennium Problem as unsolved.
By Ryan Merket · Published
Primary source: X
Why it matters
A valid proof would mark a step from AI-assisted mathematics to AI-generated frontier research, while the 10,000-agent run shows the compute bill behind that leap.
OpenAI said Tuesday that an unreleased model and roughly 10,000 coordinating AI agents produced a solution to the Navier-Stokes existence and smoothness problem, a claim that would rank among the most consequential results yet attributed to an AI system.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.