IMO 2025: Modelle von DeepMind und OpenAI erreichen Goldniveau
Bei der Internationalen Mathematik-Olympiade 2025 erreichen KI-Systeme von Google DeepMind und OpenAI je 35 von 42 Punkten, so viel wie für Gold nötig war. Offiziell bewertet hat die IMO nur das Ergebnis von DeepMind.
Bei der Internationalen Mathematik-Olympiade (IMO) erreichten KI-Systeme von Google DeepMind und OpenAI je 35 von 42 möglichen Punkten, so viel, wie ein Schüler für eine Goldmedaille brauchte.1,2 Beide lösten die ersten fünf der sechs Aufgaben vollständig und bekamen für die sechste keinen Punkt.2 Die Olympiade fand vom 10. bis 20. Juli 2025 an der Sunshine Coast in Queensland statt; geschrieben wurde am 15. und 16. Juli.6 Google DeepMind gab sein Ergebnis am 21. Juli 2025 bekannt.1,3 Die IMO bestätigte die Lösungen von Gemini Deep Think als vollständig und richtig, nicht aber das System, die Abläufe oder das Modell dahinter.1
Das Modell arbeitete durchgehend in natürlicher Sprache und schrieb seine Beweise direkt aus den offiziellen Aufgabentexten, innerhalb der Wettbewerbszeit von viereinhalb Stunden.1 Ein Jahr zuvor hatten AlphaProof und AlphaGeometry 2 von DeepMind vier der sechs Aufgaben gelöst und mit 28 Punkten Silberniveau erreicht.1 Damals mussten Fachleute die Aufgaben zuerst in formale Sprachen wie Lean übertragen, und die Rechnung dauerte zwei bis drei Tage.1,2
OpenAI hatte sein Ergebnis zwei Tage früher bekanntgegeben, nach eigener Prüfung und ohne dass Vertreter der IMO die Antworten bewertet hatten.5 Die Beweise prüften nach OpenAIs Angabe drei frühere Goldmedaillengewinner der IMO.7 Ob OpenAI eingeladen war, ist strittig: Google sei zur offiziellen Teilnahme eingeladen worden, OpenAI nicht.4 Noam Brown von OpenAI schrieb dagegen, die IMO habe OpenAI eine Teilnahme an einer formalen Fassung in Lean angeboten, die OpenAI ablehnte, eine Fassung in natürlicher Sprache aber nie.3 Demis Hassabis begründete die spätere Bekanntgabe von DeepMind mit einer Bitte des IMO-Vorstands, Ergebnisse erst nach ihrer Prüfung durch unabhängige Fachleute und nach der Ehrung der Schüler zu veröffentlichen.3 Brown erwiderte, ein Mitglied des Vorstands habe OpenAI gebeten, bis nach der Siegerehrung zu warten, und daran habe es sich gehalten.3
An der Olympiade nahmen 630 Schülerinnen und Schüler teil.2,4 Wie viele von ihnen Gold erhielten, steht verschieden da: 67 nach Interesting Engineering, 72 nach Marcus und Davis, die im selben Text aber auch von den besten 67 sprechen.4,2
Siehe auch
- Reasoning-Modelle rechnen länger — und zeigen den Rechenweg nicht 2024 Die Reasoning-Modelle, die länger rechnen, maßen sich zuerst an Mathematikwettbewerben wie der AIME.
- AlphaGo besiegt Lee Sedol im Go 2016 Wieder misst sich DeepMind an menschlicher Spitzenleistung in einem Wettbewerb mit festen Regeln.