Manifold MarketsClosedNo KYCVerified resolution dataFairly calibratedThis market resolved: No (95.4%)
Resolved: Oct 7, 2026, 3:18 AM
Provider-verified resolution
CoinRithm has provider-backed winner and settlement-time evidence for this market.
Data quality warningStale data
Data as of Oct 7, 2026, 3:12 PM UTC · policy pm-quality-4
Trends
NoWon
YesLost
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will another Millennium prize problem be solved before a human steps on Mars?
Manifold MarketsWill the next Millennium problem be solved by an AI lab or a mathematics department?
Manifold MarketsWill a millennium problem be solved in 2027?
Manifold MarketsWill a millennium problem be solved in 2026?
Manifold MarketsWill CMI declare a Millennium Prize Problem solved by which date?
PolymarketWill CMI declare the Navier-Stokes problem solved by which date?
PolymarketRules
The Millennium Prize Problems are seven of the most challenging unsolved problems in mathematics, established by the Clay Mathematics Institute in 2000.
- Only one problem, the Poincaré Conjecture, has been solved to date (by Grigori Perelman in 2003).
- The remaining problems are the Riemann Hypothesis, P versus NP, Yang-Mills and Mass Gap, Navier-Stokes Existence and Smoothness, Birch and Swinnerton-Dyer Conjecture, and Hodge Conjecture.
- Resolution Criteria
- Resolves YES if a human mathematician or team of mathematicians solves one of the remaining Millennium Prize Problems without significant AI assistance
- Resolves NO if an AI system generates the accepted solution
