Güncel topluluk tahmini
Evet 96.1%
Tahminciler
17
Soru türü
binary
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
Piyasa verileri
5 saat önce güncellendi
Guncelligini yitirmis1 Tem 23 13:47 UTC31 Ara 27 23:59 UTC
Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
Will AI contribute novel theorywork to agent foundations before 2028?
Manifold Marketswill a paper released *before 2030* by a frontier AI lab have one of their AIs as a co-author?
Manifold MarketsWill an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
Manifold MarketsWill an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
Manifold MarketsBest AI at the end of 2026?
KalshiWhich company has best AI model end of 2026?
PolymarketKurallar
When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well.
- this one is for 2028
- Resolves YES if a real professional mathematician claims this happened for them, unless consensus of other experts is that it didn't happen
- https://unlocked.microsoft.com/ai-anthology/terence-tao/