Vor nur 20 Minuten wurde das Ergebnis der IMO 2025 veröffentlicht. China belegte den 1. Platz und @GoogleDeepMind gewann eine Goldmedaille 🥇 Zukünftige Mathematikwettbewerbe werden China-Team gegen USA-Chinesisches Team gegen KI sein.

Wir könnten uns in eine Wendung der Geschichte im Saga von OpenAI vs. DeepMind IMO bewegen. Gerade einen Beitrag von Joseph Myers gesehen (seit 1992 an der Mathematik-Olympiade beteiligt): Der IMO-Ausschuss hat Berichten zufolge die KI-Labore gebeten, ihre Ergebnisse erst 7 Tage nach der Abschlusszeremonie zu veröffentlichen — aus Respekt vor den menschlichen Teilnehmern (siehe meinen Beitrag von gestern) und wahrscheinlich, um Zeit für eine ordnungsgemäße Überprüfung der KI-Einreichungen und -Formate zu ermöglichen. Laut Joseph hat OpenAI nicht mit der IMO zusammengearbeitet, um ihr Modell zu testen, und keiner der 91 offiziellen IMO-Koordinatoren war an der Bewertung ihrer Lösungen beteiligt. In der Zwischenzeit scheint DeepMind die Regeln zu befolgen und geduldig auf ihre Chance zu warten. Zur Einordnung: Die IMO hat 6 Probleme, jedes davon 7 Punkte wert. Der Gold-Cutoff in diesem Jahr liegt bei 35 Punkten. Selbst eine kleine Abwertung könnte OpenAI auf Silber zurückwerfen. Und nach meinem Verständnis ihrer Berichte könnten einige Teile Fragen aufwerfen — und möglicherweise Punkte kosten. Terence Tao hat auch darauf hingewiesen, dass, während die Probleme gleich bleiben, die Testformate wichtig sind. Ein Schüler, der unter Standardbedingungen kein Bronze erhalten würde, könnte mit einem modifizierten Setup Gold erreichen — was echte Fragen darüber aufwirft, was "die IMO zu lösen" für KI bedeutet. Nächste Woche könnte es spannend werden. Bleiben Sie dran.