“Reasoning systems based on foundational models are capable of achieving a gold-medal standard at the International Mathematical Olympiad.”