When will an open-sourced AI win a Gold Medal in the International Math Olympiad?

Will an AI get bronze or silver (but not gold) on any International Math Olympiad by end of 2025?

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

Will OpenAI o1 (or any direct iteration like o3) get gold on any International Math Olympiad by the end of 2025?

Will AI get BOTH gold and either bronze or silver on the IMO by end of 2025?

Time between AI winning IMO gold medal and AI winning IMO grand challenge (see description)

What years will AI win IMO bronze (or higher)?

Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?

How many years will pass between AI getting an IMO bronze medal and IMO perfect score?

What company or institution will win the XTX AIMO Prize?