There has been recent buzz and discussion surrounding the potential of AI to be competitive in math and programming contests, prompted by recent initiatives such as the AIMO prize, which promises to award a $5 million dollar prize to an AI who is able to earn a gold medal at the IMO, and Google's AlphaCode2, which has been claimed to be able to compete in Codeforces contests near the level of a CM.

Which of the following tasks do you think would be the most difficult and most impressive for an AI to accomplish:

• Winning a gold medal at IMO
• Winning a gold medal at IOI
• Winning a Div. 1+2 Codeforces contest
• Writing/preparing a well-balanced, well-received Div. 1+2 Codeforces contest

(You can vote for multiple options.)

How soon, if ever, do you predict these milestones to be reached? If an AI can beat the best humans at a Codeforces contest, what does this mean for the future of online programming competitions? Is the ability for an AI to solve math and programming contest problems an indicator of its potential to produce novel math/computer science research? Please discuss!