But now Google’s DeepMind team has built AlphaProof, an AI system that matched silver medalists’ performance at the 2024 ...