“AI has effectively "cold-solved" geometry problems within the International Math Olympiad (IMO) competition.”