• This market will resolve based on the official status of the Millennium Prize Problems as determined by the Clay Mathematics Institute (CMI) on its official website: claymath.org/millennium-problems.

• Each option is independent and will resolve to YES if the cumulative number of officially solved Millennium Prize Problems (including the Poincaré conjecture) meets or exceeds the specified threshold by December 31, 2030, at 11:59 PM UTC.

• "Solved" means that someone either proves the statement or proves it false / comes up with a counterexample

The options will resolve independently, so if 3 problems are solved, the "At least 3" option will resolve to yes.

Note: If more problems are added to the Millennium Prize Problems list, I will add more options.

Background (written by AI)

The Clay Mathematics Institute (CMI) established the seven Millennium Prize Problems in 2000, offering a $1 million prize for the first correct solution to each. The seven problems are:

1. Birch and Swinnerton-Dyer conjecture

2. Hodge conjecture

3. Navier–Stokes existence and smoothness

4. P versus NP problem

5. Riemann hypothesis

6. Yang–Mills existence and mass gap

7. Poincaré conjecture (Solved by Grigori Perelman; prize awarded/declined in 2010)

In September 2026, OpenAI published a paper claiming a solution (a finite-time blowup counterexample) to the Navier–Stokes existence and smoothness problem generated by an internal AI multi-agent system. Under CMI rules, a proposed solution must be published in a refereed journal and achieve general acceptance in the mathematics community for two years before the CMI Scientific Advisory Board formally considers it for the prize. CMI noted on September 11, 2026, that its process for evaluating Navier-Stokes is "deliberately unhurried".