By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
IAOne-Off3a
Manifold MarketsSem KYCDados de resolução verificadosBem calibradoPrevisão da comunidade atualSim 95.9%
Previsores
39
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 6 horas
Desatualizado5/01/24, 10:58 UTC6/01/30, 18:29 UTC
Tendências
Mercados Relacionados
Perguntas relacionadas para dar contexto, não uma comparação 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?
PolymarketRegras
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.