MASSIVE: OpenAI's 10,000 AI agents, powered by a model significantly more capable than GPT-6 Astra, solved a math problem unresolved for roughly 90 years. Looks like, in this new world, the scaling law may be agent count, not model size: enough capable agents can search far more scientific ideas than any human group ever could. when tens of thousands of strong agents can explore, criticize, and combine ideas, many problems that are "too hard" today may become mostly a compute problem. For this one, for 90 years, mathematicians could not answer whether smooth 3D fluid flow can suddenly break down. OpenAI's proposed proof says it can. To find this solution, OpenAI split thousands of agents into groups exploring different ideas, then shared the best findings between them. The search took 88 hours and used about 130B output tokens across 2.7M messages. GPT-6 Astra then spent another 17 hours checking and converting the proof into Lean, a system that verifies mathematical proofs. That Lean version is public, so mathematicians can inspect the argument themselves.