Co-founder, Recursive. Professor, CS, U. British Columbia. CIFAR AI Chair, Vector Institute. | ML, AI, deep RL, deep learning, AI-Generating Algorithms (AI-GAs)
When I was at OpenAI the go to example for how we'd know if we created AGI, or at least very powerful AI, was if we just asked it to solve a Millennium Prize and it did. All of us knew it was possible and would happen sooner than most people realize. Now that day has arrived.
Congrats to all the people who worked on everything that led up to this moment. We are witnessing the first rays of light of the dawn of the second scientific revolution, the AI scientific revolution.
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.