Current community forecast
Yes 68.9%
Forecasters
124
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 1 hour ago
LaggingJul 24, 23, 7:30 PM UTCJan 2, 30, 7:59 AM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
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 MarketsWill ANOTHER millennium prize problem be solved in 2026?
Manifold MarketsWill a $1k non-invasive brain interface handle 100 commands before 2027?
Manifold MarketsRules
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.
