Time between AI winning IMO gold medal and AI winning IMO grand challenge (see description)
AICommodities
Manifold MarketsNo KYCVerified resolution dataFairly calibratedCurrent community forecast>= 25 years 41.6%Leader of 9 outcomes
Forecasters
9
Question type
multiple choice
Methodology
Play-money forecasting platform
Source type
Forecast
7d Change
0.0 pts
Market data
Updated 1 hour ago
LaggingJun 26, 23, 6:52 PM UTCJan 1, 00, 10:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will the IMO grand challenge be completed before the end of 2030?
Manifold MarketsWhat year will the IMO grand challenge be completed?
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 MarketsAI wins IMO gold medal in 2026?
PolymarketHow low will the Claude Opus 4.8 input token price get in 2026?
KalshiRules
This market concerns about two events * A: When will an AI get gold on the international mathematics olympiad, following the resolution criteria of: https://manifold.markets/Austin/will-an-ai-get-gold-on-any-internat
- * B: When will AI complete the IMO grand challenge, by getting gold on the international mathematics olympiad producing machine-checkable proofs, following the resolution criteria of: https://manifold.markets/FlorisvanDoorn/will-the-imo-grand-challenge-be-com
- This market asks what the duration of time is after event A and before event B. This market resolves to the shortest correct answer.
- For example if it takes 2 months, it will resolve to "< 4 months", because that answer mentions a shorter time frame than the answer "< 1 year".
- If events A and B happen at the same time, or if B happens before A (which should not happen), then this resolves "< 1 week".
- It will resolve to ">= 25 years" if event B has not happened 25 years after event A happened.