OpenAI’s Navier–Stokes result reportedly used ~10,000 autonomous agents, but only 2.7M messages and 130B tokens for the final proof search.
That’s not “lots of agents = lots of chatter.” It’s tight coordination: orchestration logic aggressively prunes, routes, and reuses partial work.