> [T]he group that produced the Navier–Stokes resolution involved on the order of 10,000 concurrent agents.