By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
IAOne-Off3a
Manifold MarketsSans KYCDonnées de résolution vérifiéesBien calibréPrévision communautaire actuelleOui 95.9%
Prévisionnistes
39
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 7 heures
Obsolète5 janv. 24, 10:58 UTC6 janv. 30, 18:29 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
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?
PolymarketRègles
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.
