“Google DeepMind's AlphaProof system achieved a performance level equivalent to a silver medal in the International Mathematical Olympiad.”