Pronóstico comunitario actual
Sí 59.6%
Pronosticadores
121
Tipo de pregunta
binary
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Datos de mercado
Actualizado hace 6 minutos
24 jul 23, 19:30 UTC2 ene 30, 7:59 UTC
Tendencias
Mercados Relacionados
Preguntas relacionadas para dar contexto, no una comparación de contratos equivalentes.
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
Manifold MarketsWill Wikipedia on or before January 1st 2030 list WWIII as having started already on April 1, 2026
Manifold MarketsWill the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?
Manifold MarketsWhen will the first useful quantum computer be developed?
KalshiAI wins IMO gold medal in 2026?
PolymarketWhen will the next Millennium Prize be awarded?
KalshiReglas
This question proposes a grand challenge for AI, setting an extremely high bar for the field, intended to measure when AIs will be considered on par with, or having surpassed the brightest humans in the world at mathematics.
- While competetive mathematics, such as the IMO and Putnam, provide concrete benchmarks for mathematical reasoning, mathematicians have long recognized that there is more to mathematics than competetive, narrow problem solving.
- Famous mathematicians, such as Gauss, Hilbert, and Grothendieck, have fundamentally reshaped humanity's understanding of mathematics by not only solving some narrow problems, but by introducing new fundamental mathematical theories.
- Mathematical theories are systematic frameworks composed of definitions, axioms, and propositions that are used to analyze and interpret the properties and relationships of certain mathematical entities or structures.
- They are fundamental to all areas of mathematics, and many theories are so foundational that they're often just considered part of the discipline rather than an individual theory.
- Foundational math theories include number theory, graph theory, group theory, topology, chaos theory, category theory, knot theory, algebraic geometry, and set theory.