AI IMO 2025: How many AI labs announce a Gold performance at the IMO in 2025?

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

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

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

Which country will win the 2025 IMO?

Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?

Will the first AI to get IMO gold use formal methods?

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

What will be the IMO 2025 gold cutoff?

Will an AI get gold at the IMO? (no time restrain)