Both OpenAI and Google DeepMind AI models score gold in International Math Olympiad. Their wins tell us about AI progress that goes far beyond math.