Manifold MarketsSans KYCDonnées de résolution vérifiéesAssez bien calibréPrévision communautaire actuelleOui 98.9%
Prévisionnistes
360
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 27 minutes
16 mars 23, 05:59 UTC2 janv. 30, 07:59 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
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?
PolymarketRègles
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:
