“Three different AI models won gold medals at the International Mathematical Olympiad (IMO).”