“An AI won a gold medal in the International Mathematical Olympiad (IMO) in the current year.”