--- id: imo-2025-ki-gold title: 'IMO 2025: Modelle von DeepMind und OpenAI erreichen Goldniveau' date: '2025-07-21' datePrecision: day dateSources: - s1 - s3 summary: >- 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. themeId: theme-generative-ai-mainstream wikidata: - id: Q140277784 name: 2025 International Mathematical Olympiad seeAlso: - id: reasoning-models-explicit-thought note: >- Die Reasoning-Modelle, die länger rechnen, maßen sich zuerst an Mathematikwettbewerben wie der AIME. - id: alphago-lee-sedol-2016 note: >- Wieder misst sich DeepMind an menschlicher Spitzenleistung in einem Wettbewerb mit festen Regeln. verification: verified sources: - key: s1 title: >- Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad publisher: Google DeepMind url: https://deepmind.google/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/ accessedAt: '2026-10-20' - key: s2 title: DeepMind and OpenAI achieve IMO Gold. What does it all mean? publisher: Gary Marcus und Ernest Davis (Marcus on AI) url: https://garymarcus.substack.com/p/deepmind-and-openai-achieve-imo-gold accessedAt: '2026-10-20' - key: s3 title: >- Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad publisher: Simon Willison’s Weblog url: https://simonwillison.net/2025/Jul/21/gemini-imo/ accessedAt: '2026-10-20' - key: s4 title: >- Google and OpenAI models outscore top teens in world’s toughest math showdown publisher: Interesting Engineering url: https://interestingengineering.com/innovation/google-and-openai-beat-the-worlds-best-mathematical-minds accessedAt: '2026-10-20' - key: s5 title: >- Didn't Declare IMO Results Sooner As Per Organizers' Wishes, Says Google In Dig At OpenAI publisher: OfficeChai url: https://officechai.com/ai/didnt-declare-imo-results-sooner-as-per-organizers-wishes-says-google-in-dig-at-openai/ accessedAt: '2026-10-20' - key: s6 title: International Mathematical Olympiad 2025 publisher: Australian Maths Trust url: https://imo2025.au/ accessedAt: '2026-10-20' - key: s7 title: >- Google DeepMind's Gemini wins mathematical olympiad gold using only natural language publisher: The Decoder url: https://the-decoder.com/google-deepminds-gemini-wins-mathematical-olympiad-gold-using-only-natural-language/ accessedAt: '2026-10-20' disputed: - claim: Zahl der menschlichen Goldmedaillen bei der IMO 2025 positions: - value: '67' source: s4 - value: '72' source: s2 - claim: Ob OpenAI zur offiziellen Teilnahme eingeladen war positions: - value: nicht eingeladen source: s4 - value: zu einer formalen Fassung in Lean eingeladen, abgelehnt source: s3 provenance: origin: recherche model: beschaffer:sonnet createdBy: '/research (Musterlauf: ai)' reviewedBy: research reviewedAt: '2026-10-20' --- 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.[^s1][^s2] Beide lösten die ersten fünf der sechs Aufgaben vollständig und bekamen für die sechste keinen Punkt.[^s2] Die Olympiade fand vom 10. bis 20. Juli 2025 an der Sunshine Coast in Queensland statt; geschrieben wurde am 15. und 16. Juli.[^s6] Google DeepMind gab sein Ergebnis am 21. Juli 2025 bekannt.[^s1][^s3] 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.[^s1] Das Modell arbeitete durchgehend in natürlicher Sprache und schrieb seine Beweise direkt aus den offiziellen Aufgabentexten, innerhalb der Wettbewerbszeit von viereinhalb Stunden.[^s1] Ein Jahr zuvor hatten AlphaProof und AlphaGeometry 2 von DeepMind vier der sechs Aufgaben gelöst und mit 28 Punkten Silberniveau erreicht.[^s1] Damals mussten Fachleute die Aufgaben zuerst in formale Sprachen wie Lean übertragen, und die Rechnung dauerte zwei bis drei Tage.[^s1][^s2] OpenAI hatte sein Ergebnis zwei Tage früher bekanntgegeben, nach eigener Prüfung und ohne dass Vertreter der IMO die Antworten bewertet hatten.[^s5] Die Beweise prüften nach OpenAIs Angabe drei frühere Goldmedaillengewinner der IMO.[^s7] Ob OpenAI eingeladen war, ist strittig: Google sei zur offiziellen Teilnahme eingeladen worden, OpenAI nicht.[^s4] 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.[^s3] 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.[^s3] Brown erwiderte, ein Mitglied des Vorstands habe OpenAI gebeten, bis nach der Siegerehrung zu warten, und daran habe es sich gehalten.[^s3] An der Olympiade nahmen 630 Schülerinnen und Schüler teil.[^s2][^s4] 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.[^s4][^s2] Ende der Datei: 7 Quellen.