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.