Will an AI get gold on any International Math Olympiad by the end of 2025?

Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?

Will an AI get gold on this Olympiad by the end of 2025?

Will an AI get at least silver on International Olympiad in Informatics (IOI) by end of 2025?

Conditional on AI getting at least bronze on the IMO, will it get gold by 2025?

Will an AI win a gold medal on International Math Olympiad (IMO) 2025?

Will I be able to get Honors/Winner (top 20%) on the 2025 USAJMO?

Will an AI win a gold medal on the IOI (competitive programming contest) before 2026?

Will I qualify for an International Olympiad this year?

Will AI win a gold on IMO before it wins a gold on IOI?