Manifold MarketsKYC yokDoğrulanmış sonuçlanma verisiOrta düzey kalibreVeri kalitesi uyarısıKaynak verileri bozulmuş
25 Eki 2026 10:30 UTC itibarıyla veriler · politika pm-quality-4
Güncel topluluk tahmininot by 2032 38.7%11 seçenek arasında lider
Tahminciler
28
Soru türü
multiple choice
Yöntem
Play-money forecasting platform
Kaynak türü
Tahmin
7g Değişim
0.0 pts
Piyasa verileri
15 saat önce güncellendi
Guncelligini yitirmis25 Haz 23 19:00 UTC1 Oca 33 22:59 UTC
Trendler
İlgili Piyasalar
Bağlam için ilgili sorular; eşdeğer sözleşmelerin karşılaştırması değildir.
Will the IMO grand challenge be completed before the end of 2030?
Manifold MarketsTime between AI winning IMO gold medal and AI winning IMO grand challenge (see description)
Manifold MarketsWill a deepmind model be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
Manifold MarketsWill OpenAI be the first to succeed at the IMO Grand Challenge or the XTS AI-MO competition?
Manifold MarketsBest AI at the end of 2026?
KalshiOpenAI announces bankruptcy by which date?
PolymarketKurallar
This resolves to the (first) year that the IMO grand challenge is completed according to the IMO Grand Challenge committee.
- This requires an AI to generate machine-checkable proof of all problems on an IMO, and there are more rules here: https://imo-grand-challenge.github.io/
- I will use the year that the announcement was made by a member of the IMO Grand Challenge committee to decide which year this market resolves as (UTC).
- Since the code must be publicly available before the first day of the IMO I don't expect any close calls here.
- This resolves "the named outcome" if this market hasn't resolved by the end of 2032.
- It will also resolve "the named outcome" a month after the IMO in 2032 if there is nobody makes a credible claim that the IMO grand challenge might be solved.