By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
IAOne-Off3a
Manifold MarketsSin KYCDatos de resolución verificadosBien calibradoPronóstico comunitario actualSí 95.9%
Pronosticadores
39
Tipo de pregunta
binary
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Datos de mercado
Actualizado hace 5 horas
Desactualizado5 ene 24, 10:58 UTC6 ene 30, 18:29 UTC
Tendencias
Mercados Relacionados
Preguntas relacionadas para dar contexto, no una comparación de contratos equivalentes.
Before 2030, will we have AI that can play Minecraft, understand movies, etc. and not resist shutdown?
Manifold MarketsWill we have AI that can explain chess moves logic in human language by 2030?
Manifold MarketsBy 2030, AI can beat the best human Starcraft 2 players at least 50% of the time, given a video of the screen.
Manifold MarketsAI "devops" #3: Will there be an AI that can manage a small cluster by 2030?
Manifold MarketsBest AI at the end of 2026?
KalshiWhich company has best AI model end of 2026?
PolymarketReglas
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.