Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atualSim 98.9%
Previsores
360
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 16 horas
Desatualizado16/03/23, 05:59 UTC2/01/30, 07:59 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação de contratos equivalentes.
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?
PolymarketRegras
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:
