systems that achieved silver-medal standard in solving International Mathematical Olympiad problems. The AI models demonstrated advances in solving complex mathematical problems, one of the key ...