By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
AIOne-Off3j
Manifold MarketsGeen KYCGeverifieerde afwikkelingsgegevensGoed gekalibreerdHuidige gemeenschapsvoorspellingJa 95.9%
Voorspellers
39
Vraagtype
binary
Methodologie
Play-money forecasting platform
Brontype
Voorspelling
Marktdata
Bijgewerkt 6 uur geleden
Verouderd5 jan 24, 10:58 UTC6 jan 30, 18:29 UTC
Trends
Gerelateerde Markten
Gerelateerde vragen voor context, geen vergelijking van gelijkwaardige contracten.
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?
PolymarketRegels
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.
