“An AI model achieved a gold medal at the International Mathematical Olympiad (IMO), a milestone previously discussed on the path to AGI.”