In a milestone moment for artificial intelligence, general-purpose models from Google and OpenAI have won gold medals at the International Mathematical Olympiad (IMO), solving five out of six problems ...