“Google's mathematics model, AlphaProof, was the first AI to achieve a silver medal performance at the International Mathematical Olympiad in 2023.”