BREAKING: OpenAI $WLD used $15 MILLION in tokens to tackle this 90-year-old mathematical mystery.
The Navier–Stokes equations describe how fluids move, from water swirling in a glass to air flowing over a wing.
The mystery is whether a smooth 3D flow can remain stable forever, or tighten into a singularity where velocity becomes infinite in finite time.
OpenAI deployed 10,000 coordinating AI agents, which would cost an everyday user $15M in tokens, paired with a next-generation model. The system first solved a simpler version before producing a full result in just 88 hours.
The proposed solution identifies a vortex that spirals inward and stretches until the flow breaks down, while total energy remains finite.
The proof was then formally verified in Lean, allowing a computer to check every logical step.
The problem carries a 1 MILLION Clay Mathematics Institute prize, which OpenAI says it will not accept.
#WLD #AI
The Navier–Stokes equations describe how fluids move, from water swirling in a glass to air flowing over a wing.
The mystery is whether a smooth 3D flow can remain stable forever, or tighten into a singularity where velocity becomes infinite in finite time.
OpenAI deployed 10,000 coordinating AI agents, which would cost an everyday user $15M in tokens, paired with a next-generation model. The system first solved a simpler version before producing a full result in just 88 hours.
The proposed solution identifies a vortex that spirals inward and stretches until the flow breaks down, while total energy remains finite.
The proof was then formally verified in Lean, allowing a computer to check every logical step.
The problem carries a 1 MILLION Clay Mathematics Institute prize, which OpenAI says it will not accept.
#WLD #AI
