International Math Olympiad ist ein besonders schwerer Mathetest. OpenAI und Google DeepMind erklären, das Abschneiden ihrer KI-Modelle sei ein Durchbruch.