“In July 2023, a Google AI model achieved a gold medal score at the International Mathematical Olympiad (IMO) by correctly solving 5 out of 6 problems.”