Google DeepMind has unveiled two new AI systems that collectively solved four of six problems from this year's International Mathematical Olympiad (IMO), performing at the level of a silver medalist. According to an official blog post by Google, this marks the first time AI has achieved such a level in the world's most elite high school math competition.