How many Putnam competitions will AI not win after winning IMO and before winning its first Putnam?
Winning a competition means getting an equal or greater score than the top human participating. Only competitions after market creation count.
The AI has to be under the same time constraints as the participants. Allowed scoring is either just as humans (text input and human-scored text output) or it can get formalized input and have formally verified output, then a solution gets full score if it's correct and minimum score otherwise.
Resolves N/A at close date if not resolved by that time.
Note: I tried cheating out some manibucks because IMO is in July and Putnam is in December (so Putnam first would be unexpectedly likely), but actually I didn't say the AI attempt has to be close to the competition time, so unless AI wins the next Putnam, the next IMO will be forever fair game.
1,000Some things worth noting: the humans taking the IMO are high schoolers selected (usually through rounds of increasing difficulty) from each competing country. The humans taking the Putnam are undergraduates in North American universities. AoPS ranks IMO problems as difficulty 5.5-10 and Putnam problems as 7-9 (though I do not wholly agree with their rating system).