[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded
Source
latent.space
Date
Context
OpenAI describes its Navier-Stokes experiment as coordinated proof search involving roughly 10,000 agents that could communicate within their group and use tools. Its process account reports 88 hours to reach the result, followed by 17 hours for formalization and checking in Lean. The claimed achievement therefore combines parallel exploration with a separate checking stage; the elapsed search time alone does not describe the whole workflow.
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
token — The chunk of text a model reads and writes in — roughly three-quarters of a word — and the unit AI usage is billed in.
Key quotes
“The Navier Stokes solution was the result of a collaboration of ~10,000 agents working together”
Ethan Knight
“Roon seems like the kind of person who would honor his NDA tbh.”
