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".
Choose your position: Buy "YES" if you think it will happen, or "NO" if you don't.
Set your stake: Trade with virtual currency. The price reflects market probability.
Wait for the outcome: If you're right, you receive $1 per share. If wrong, you lose your stake.
This is a simulation. No real money involved.