I believe AI could potentially solve one of the seven Millennium Prize Problems, but we're still a long way from that capability.

The Navier-Stokes equations are sophisticated nonlinear equations that are challenging to solve, particularly in three dimensions where singularities can form.

Grigori Perelman transformed the supercritical Navier-Stokes problem into a critical problem by introducing concepts like reduced volume and permanence entropy, which simplified the analysis of singularities.

The X-Prize Foundation has been around for 30 years, and I started it in 1994 after reading a biography of Charles Lindbergh, who won a $25,000 prize for flying from New York to Paris.

The Navier-Stokes equations govern fluid flow for incompressible fluids like water, and the Navier-Stokes regularity problem asks whether a smooth velocity field can ever concentrate to the point of becoming infinite, which would indicate a singularity.

We designed a carbon removal prize to pull carbon out of the atmosphere and ocean at scale, which was funded by Elon Musk with a $100 million prize.

Elon Musk and Jeff Bezos were early supporters of the X-Prize, which has since launched 30 prizes totaling about $500 million in incentive purses, driving about $10 billion in R&D.

AlphaProof achieved a silver medal level of performance in the International Mathematics Olympiad, solving extremely challenging problems that only a small percentage of contestants could solve.

If we solve the Riemann hypothesis, it could lead to new mathematics that millions of mathematicians would be eager to understand.