Manifold MarketsSenza KYCDati di risoluzione verificatiDiscretamente calibratoPrevisione della comunità attualeSì 98.9%
Previsori
360
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 18 ore fa
Obsoleto16 mar 23, 05:59 UTC2 gen 30, 07:59 UTC
Trend
Mercati Correlati
Domande correlate per il contesto, non un confronto tra contratti equivalenti.
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 MarketsWhich Millennium Prize Problem will AI solve next?
PolymarketHow many more Millennium Prize Problems will AI solve in 2026?
PolymarketRegole
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:
