“An AI model achieved a gold medal at the International Mathematical Olympiad (IMO).”