This market resolves if AI wins IMO gold. To be more precise, the grand prize of this competition is awarded: 

If the group that receives the grand prize announces that they have won IMO gold before the prize is awarded, then that date will be used retroactively. 

Starting January 2025, each year around Jan 1 I will ask 

 for a random number between 1 and 1024. This market resolves PROB to 10*log(lowest number rolled)/log(2).

It will resolve YES if this market resolves before 2025. It will resolve NO early if a 1 is rolled. 