AI achieves silver-medal standard solving International Mathematical Olympiad problems