On September 8, OpenAI published a demonstration that a group of 10,000 AI agents produced a proof related to the Navier-Stokes equations, one of the six unsolved Millennium Prize Problems from the Clay Mathematics Institute. It doesn't matter whether your company will ever touch a differential equation — this is a signal about what agentic AI can already coordinate at scale.
The Navier-Stokes equations describe how fluids move, and for nearly 90 years there's been no complete answer to whether their solutions always stay "smooth" or whether they can develop singularities (points where values become infinite) in three dimensions. According to OpenAI, and confirmed by Quanta Magazine, its agents showed that singularities can indeed form under certain conditions, building on an analytical strategy previously developed by mathematicians Diego Córdoba and Luis Martínez-Zoroa.
The process wasn't a single model thinking alone: roughly 100 agents first spent 50 hours working on related variants of the Euler equations, and that result fed into the main effort. The full proof took 88 hours and generated 5 million messages between agents, using an internal OpenAI model "more capable than GPT-6 Astra" that isn't publicly available yet. Afterward, the model spent 17 additional hours formalizing and verifying the proof in Lean, a formal proof language that mathematically confirms every step is valid.
What's relevant for a company isn't the equation itself but the operating pattern: thousands of agents working in parallel, with specialized subgroups tackling subproblems, feeding results back to each other, and a final automated verification step before any conclusion is accepted. It's the same architecture — task decomposition, multi-agent orchestration, formal verification of outputs — already used in far more mundane enterprise cases: accounting reconciliation, contract auditing, or large-scale code QA.
Carlos Montiel is an enterprise AI solutions architect. He implements LLMs, Agents, RAG, and orchestrators for companies in Guatemala and Latin America. Contact him for a consultation.
Contact Carlos Montiel