By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
KIOne-Off3J
Manifold MarketsKein KYCVerifizierte AuflösungsdatenGut kalibriertAktuelle Community-PrognoseJa 95.9%
Prognostiker
39
Fragetyp
binary
Methodik
Play-money forecasting platform
Quellentyp
Prognose
Marktdaten
Aktualisiert vor 19 Minuten
5. Jan. 24, 10:58 UTC6. Jan. 30, 18:29 UTC
Trends
Verwandte Märkte
Verwandte Fragen als Kontext, kein Vergleich gleichwertiger Kontrakte.
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?
PolymarketRegeln
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.
