By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
IAOne-Off3a
Manifold MarketsSenza KYCDati di risoluzione verificatiBen calibratoPrevisione della comunità attualeSì 95.9%
Previsori
39
Tipo di domanda
binary
Metodologia
Play-money forecasting platform
Tipo di fonte
Previsione
Dati di mercato
Aggiornato 7 ore fa
Obsoleto5 gen 24, 10:58 UTC6 gen 30, 18:29 UTC
Trend
Mercati Correlati
Domande correlate per il contesto, non un confronto tra contratti equivalenti.
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 MarketsWho is Dwarkesh's upcoming "biggest guest yet"?
Manifold MarketsAnthropic announces bankruptcy by which date?
PolymarketRegole
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.
