AI achieves silver-medal standard solving International Mathematical Olympiad problems — Google DeepMind