AI achieves silver-medal standard solving International Mathematical Olympiad problems - Tech Sentiments