OpenAI has reportedly used a large coordinated group of AI agents to pursue one of mathematics' most difficult problems: the three-dimensional Navier-Stokes equations. The reported effort is notable not only for its possible mathematical outcome, but also for its claimed use of roughly 10,000 concurrent agents over about 88 hours. Yet the underlying result has not been publicly established through a peer-reviewed paper, preprint, or accessible first-party OpenAI announcement, so it should be t...