News DeepMind AI hits silver-medal standard in International Mathematical Olympiad editorial staff 26. July 2024