By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
YZOne-Off3y
Manifold MarketsKYC yokDoğrulanmış sonuçlanma verisiİyi kalibreGüncel topluluk tahminiEvet 95.9%
Tahminciler
39
Soru türü
binary
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
Piyasa verileri
7 saat önce güncellendi
Guncelligini yitirmis5 Oca 24 10:58 UTC6 Oca 30 18:29 UTC
Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
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?
PolymarketKurallar
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.
