Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
IAOne-OffTecnologia3aManifold MarketsSenza KYCDati di risoluzione verificatiBen calibratoPrevisione della comunità attualeSì 67.5%
Previsori
2
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 36 minuti fa
1 ago 26, 16:23 UTC2 gen 30, 07:59 UTC
Trend
Regole
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.
