In what year will artificial intelligence solve a Millennium Prize Problem?
53
5.5kṀ10k
2051
March 2, 2034
31%
2025-2029
33%
2030-2034
18%
2035-2039
10%
2040-2044
9%
2045-2050

Background

The Millennium Prize Problems are seven illustrious open problems in mathematics designated by the Clay Mathematics Institute (CMI) in year 2000, each carrying a $1 million dollar prize for the first correct solution. The Poincaré Conjecture has already been solved; only six remain:

  • Birch and Swinnerton‑Dyer Conjecture

  • Hodge Conjecture

  • Navier–Stokes Existence and Smoothness

  • P vs NP

  • Riemann Hypothesis

  • Yang–Mills Existence and Mass Gap

An AI system producing a formally accepted proof for any one of these six problems would constitute a historic milestone for both mathematics and artificial‑intelligence research.

Resolution criteria

  1. Evidence required – A peer‑reviewed paper in a recognized scientific journal or an officially accepted Clay Institute submission must show that the proof was generated by an AI system and fully resolves one of the six unsolved Millennium Prize Problems.

  2. AI autonomy – Humans may design, train, or fine‑tune the model, but the final mathematical proof must be produced autonomously by the AI. Human assistance is limited to setting up the AI architecture and verifying formatting; humans may not add new logical steps or insights.

  3. Earliest‑year rule – The market resolves to the bracket containing the calendar year in which the qualifying paper (pre‑print or journal) is first made public. If multiple problems are solved by AI, the earliest qualifying publication date counts.

  4. Fail‑safe – If no qualifying solution is by before January 1, 2051 the market resolves to Not applicable.

Get
Ṁ1,000
to start trading!

What is this?

What is Manifold?
Manifold is the world's largest social prediction market.
Get accurate real-time odds on politics, tech, sports, and more.
Or create your own play-money betting market on any question you care about.
Are our predictions accurate?
Yes! Manifold is very well calibrated, with forecasts on average within 4 percentage points of the true probability. Our probabilities are created by users buying and selling shares of a market.
In the 2022 US midterm elections, we outperformed all other prediction market platforms and were in line with FiveThirtyEight’s performance. Many people who don't like betting still use Manifold to get reliable news.
ṀWhy use play money?
Mana (Ṁ) is the play-money currency used to bet on Manifold. It cannot be converted to cash. All users start with Ṁ1,000 for free.
Play money means it's much easier for anyone anywhere in the world to get started and try out forecasting without any risk. It also means there's more freedom to create and bet on any type of question.
© Manifold Markets, Inc.TermsPrivacy