Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
IAOne-OffTecnología3aManifold MarketsSin KYCDatos de resolución verificadosBien calibradoPronóstico comunitario actualSí 67.5%
Pronosticadores
2
Tipo de pregunta
binary
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Datos de mercado
Actualizado hace 14 horas
Desactualizado1 ago 26, 16:23 UTC2 ene 30, 7:59 UTC
Tendencias
Reglas
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.
