Ich dachte, die Menschheit sei vor nur 2 Tagen sicher, es zählt buchstäblich in Tagen… Einige Kontext: Dies ist nicht das erste Mal, dass KI bei der Internationalen Mathematik-Olympiade (IMO) eine Medaille gewonnen hat. Letztes Jahr gewann Googles AlphaProof Silber – aber dieses Modell wurde speziell für Mathematik trainiert. Diesmal verwendete OpenAI ein allgemeines Modell (wahrscheinlich einen internen GPT-5-Prototyp?), und es gewann Gold. Das ist ein riesiger Sprung in der Bedeutung. Um das ins rechte Licht zu rücken: Die Lösung eines IMO-Niveauproblems dauert typischerweise für Elite-Menschenwettbewerber etwa 100 Minuten. Vor nur 2 Jahren hatten die besten KI-Modelle noch Schwierigkeiten mit Grundschul-Wortproblemen (GSM8k), die Menschen etwa 10 Sekunden zum Lösen benötigen. Wie Dan Roberts von OpenAI auf Sequoias AI Ascent 2025 teilte, verdoppelt sich die Länge der Aufgaben, die KI bewältigen kann, alle 7 Monate. Bis Ende 2025 könnte GPT-5 sehr gut auf dem Niveau von stundenlangen menschlichen Aufgaben arbeiten. Ein Vorbehalt: Die diesjährige IMO hatte Berichten zufolge einen Fehler im Schwierigkeitsgrad – die Probleme 1–5 waren relativ einfach, während Problem 6 ungewöhnlich schwer war. Infolgedessen lagen viele Punktzahlen zwischen 28 und 35 (jedes Problem ist 7 Punkte wert). Die KI erzielte 35 – gerade genug für Gold. Ein bisschen Glück, aber die Richtung ist unbestreitbar. Nicht zuletzt werden die Mathematikwettbewerbe zweifellos ein Wettlauf zwischen Chinesen in China, Chinesen in den USA und KI-Modellen (gebaut von Chinesen in den USA und China) sein.