Manifold MarketsNo KYCVerified resolution dataFairly calibratedCurrent community forecastYes 98.9%
Forecasters
360
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 2 hours ago
StaleMar 16, 23, 5:59 AM UTCJan 2, 30, 7:59 AM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will there be 1500 or more official Pokemon creatures on January 1st 2030?
Manifold MarketsWhich party will the Prime Minister of the UK be from on January 1st 2030?
Manifold MarketsWill Israel and Hezbollah have a major war before January 1st, 2030?
Manifold MarketsWill a reliable and general household robot be developed before January 1st, 2030?
Manifold MarketsHow many more Millennium Prize Problems will AI solve in 2026?
PolymarketWhich Millennium Prize Problem will AI solve next?
PolymarketRules
For the purpose of this question, a mathematical conjecture is considered "important" if it appears on the list of unsolved problems maintained by the following sources:
- The Open Problem Garden (http://garden.irmacs.sfu.ca/)
- The Clay Mathematics Institute (CMI)
- The Unsolved Problems in Number Theory book by Richard K. Guy
- These sources collectively provide a broad variety of conjectures across different fields of mathematics that are widely acknowledged as significant.
- This question will resolve as "Yes" if, before January 1st, 2030, an AI system fully solves any important mathematical conjecture on the combined list of unsolved problems from the mentioned sources, and the solution:
