“AI systems from OpenAI and DeepMind achieved gold medal-level performance at the 2024 International Mathematical Olympiad (IMO).”