Resolution criteria

This market will resolve to YES if, between September 9, 2026, and December 31, 2026, at 11:59 PM UTC, a proposed solution for at least one of the remaining five Millennium Prize Problems is formally announced or published.

The five eligible problems for this market are:

1. P versus NP

2. The Riemann Hypothesis

3. Yang–Mills Existence and Mass Gap

4. The Hodge Conjecture

5. The Birch and Swinnerton-Dyer Conjecture

For the purposes of this market's resolution:

• Navier–Stokes Existence and Smoothness is excluded from resolving this market to YES. OpenAI announced a proposed solution to Navier–Stokes on September 8, 2026. This market specifically tracks whether another (i.e., a third) Millennium Prize Problem will have a solution claimed or published in 2026.

• Poincaré Conjecture is excluded as it was solved prior to 2026.

• The proposed solution must be put forward by a recognized mathematician, a reputable academic institution, or a major AI/technology research organization (such as OpenAI, Google DeepMind, Anthropic, etc.).

• The announcement must be accompanied by a published paper, a public preprint (such as on arXiv), or a formalized computer-verified proof (such as in Lean or Coq).

• The solution does not need to be officially verified or awarded by the Clay Mathematics Institute by the end of 2026 (as CMI rules require a two-year waiting period after publication). However, the solution must not be widely debunked or retracted by the mathematical community before December 31, 2026.

If no other eligible Millennium Prize Problem has a proposed solution announced by the end of 2026, this market will resolve to NO.

Background

The Millennium Prize Problems are seven mathematical puzzles selected by the Clay Mathematics Institute in 2000, each carrying a $1 million prize for a correct solution. For over two decades, the Poincaré Conjecture (solved by Grigori Perelman in 2002–2003) was the only solved problem.

On September 8, 2026, OpenAI published a paper claiming that an unreleased internal AI system had solved the Navier–Stokes existence and smoothness problem by proving that the equations can develop a singularity in finite time. This market is designed to predict if the rapid acceleration of AI capabilities or human mathematical breakthroughs will result in yet another of the remaining five unsolved classic problems being solved before the end of 2026.