

The question is whether “AI wins IMO gold medal in 2026?” occurs by the stated deadline and under the published conditions.
A Yes outcome requires the stated conditions to be met; No covers the alternative.
The qualifying event, evidence source, cutoff time, and any exceptions are documented in the Resolution Rules below.
Waiting for trades
Last 30 days
$1.08K
30-day total
$36
Daily average
Every trader on this market, last 7 days
—
24h volume, market-wide
Market-wide, by position value
May 25, 2026 · 8:05pm GMT+3
Jan 1, 2027 · 7:59am GMT+3
Jan 1, 2027 · 8:29am GMT+3
This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No."
The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".