Prévision communautaire actuelle
Oui 67.5%
Prévisionnistes
2
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 1 heure
En retard1 août 26, 16:23 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 AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
Manifold MarketsWill 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 MarketsWho will Claude 7 name as having the most significant contribution to AI alignment?
Manifold MarketsBest AI at the end of 2026?
KalshiLargest IPO by market cap in 2026?
PolymarketRègles
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.