Our combined AlphaProof and AlphaGeometry 2 systems solved 4 outside of 6 challenges in the 2024 Global Mathematical Olympiad (IMO), accomplishing the exact same amount as a silver medalist from the Levels of competition for the first time. Distillation makes it possible for sophisticated types t