Prediction
Answer Options
This market resolves Yes if any AI earns a gold medal at the International Mathematical Olympiad between January 1, 2026 and January 1, 2027, 5:59 AM CET. Otherwise, it resolves No. The resolution sources are the IMO Grand Challenge and the Artificial Intelligence Math Olympiad (AIMO): https://imo-grand-challenge.github.io/ https://aimoprize.com/ If either source shows that an AI has won the challenge or prize before the resolution date, the market resolves Yes.
Reported by @jiqizhixin