Our blended AlphaProof and AlphaGeometry 2 systems solved 4 away from six issues from the 2024 Intercontinental Mathematical Olympiad (IMO), obtaining precisely the same stage to be a silver medalist inside the Competitiveness for The very first time.Our blended AlphaProof and AlphaGeometry two systems solved 4 away from 6 challenges with the 2024