Recent progress on problems like Navier-Stokes and the zeros of the Riemann zeta function shows how rapidly AI capabilities are growing. Eventually, much of what human civilization takes pride in intellectually may be reproduced and surpassed by AI. Mathematics may yield to enough intelligence, and the predictions of a given physical theory may yield to enough computation, but one thing cannot be replaced: experiments at genuinely higher energy scales. No amount of computation can tell us whether Nature still obeys our known theories in a regime we have never probed.
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.