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 kalibreVeri kalitesi uyarısıEski veriler
30 Eki 2026 09:30 UTC itibarıyla veriler · politika pm-quality-4
Güncel topluluk tahminiEvet 95.9%
Tahminciler
39
Soru türü
binary
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
Piyasa verileri
dün 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 MarketsWhich company has best AI model end of 2026?
PolymarketBest AI at the end of 2026?
KalshiKurallar
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.