Menschen schlagen KI bei der 66. Internationalen Mathematik-Olympiade

▲ Bild erstellt mit Meta AI

Monica Mateos

La Jornada Zeitung, Donnerstag, 24. Juli 2025, S. 6

Als die globale Mathematik-Community die Nachricht vernahm, dass Modelle künstlicher Intelligenz (KI) von OpenAI und Google DeepMind bei der 66. Internationalen Mathematik-Olympiade (IMO) in Australien eine Leistung erzielten, die einer Goldmedaille gleichkommt, erwiderte sie sofort: Ja, aber der Mensch hat die KI geschlagen, und zwar die jungen Studenten, die noch viel zur Zukunft beitragen können .

Keines der Modelle erreichte die Höchstpunktzahl von 42, die fünf Studenten aus China, Kanada, Japan und Russland bei dem prestigeträchtigen jährlichen Wettbewerb erreichten, bei dem die Teilnehmer unter 20 Jahre alt sein müssen.

Und nicht nur das: Die Computergiganten gaben an, dass ihre KIs 35 Punkte erreichten. Bei der diesjährigen IMO übertrafen jedoch – die fünf perfekten Prüfungen nicht mitgerechnet – 21 Studierende aus China, den USA, Vietnam, Indien, Korea, Russland, Österreich, Kanada, der Slowakei, Hongkong, Israel, Italien und der Mongolei den Cyberscore.

Eine weitere Statistik spricht für den Menschen: 46 Teilnehmer erreichten die von OpenAI und Google geforderten 35 Punkte (darunter die Peruaner Renato Gaitán und Sebastián Lozada, die einzigen Lateinamerikaner in dieser Rangliste ); und 61 Studenten nahmen sich des sechsten Problems an, das die Computermodelle nicht lösen konnten.

Laut AFP gaben die IMO-Organisatoren an, dass sie nicht überprüfen könnten, wie viel Rechenleistung die KI-Modelle nutzten oder ob menschliche Beteiligung im Spiel war.

Für Mexiko gewannen zwei Studenten Silbermedaillen mit jeweils 28 Punkten: Takumi Higashida Martínez aus Mexiko-Stadt und Emmanuel Buenrostro Briseño aus Jalisco; die Bronzemedaillen gingen an Héctor Juan Villarreal Corona (27 Punkte) und Mateo Iván Latapí Acosta aus Jalisco sowie Iker Torres Terrazas aus Chihuahua (beide mit 24 Punkten) und Javier Caram Quirós, ebenfalls aus Mexiko-Stadt, mit 22 Punkten.

Über die Olympischen Spiele und Medaillen hinaus wetten Mathematiker darauf, dass wirklich Großes möglich sein wird, wenn ihnen Modelle der künstlichen Intelligenz dabei helfen, sehr komplexe (und bislang unlösbare) Probleme zu lösen, die Millionen von Schritten und Verfahren erfordern.

Einige Experten meinen sogar, dass wir kurz davor stehen könnten, die mittlerweile legendären Millennium-Probleme zu lösen, die im Jahr 2000 vom Clay Mathematics Institute in Cambridge, Massachusetts, USA (CMI) gestellt wurden, das für jeden Lösungsversuch eine Belohnung von einer Million Dollar aussetzt.

Die sieben ausgewählten Probleme, die vom CMI als wichtige klassische Fragen betrachtet werden, die seit Jahren nicht gelöst wurden , sind: P vs NP, das fragt, ob es Probleme gibt, die schnell (in polynomieller Zeit) verifiziert und auch frühzeitig gelöst werden können; die Hodge-Vermutung, ein tiefgreifendes Problem über die Struktur bestimmter geometrischer Objekte, die als komplexe algebraische Mannigfaltigkeiten bezeichnet werden; die Poincaré-Vermutung, die zeigt, dass die dreidimensionale Kugel die einzige kompakte einfach zusammenhängende Mannigfaltigkeit ist; die Riemann-Vermutung, ein zentrales Problem der Zahlentheorie, das die Verteilung der Primzahlen betrifft; die Navier-Stokes-Gleichungen, die die Existenz und Glätte von Lösungen dieser Gleichungen, die die Bewegung von Flüssigkeiten beschreiben, festlegen; die Birch-Swinnerton-Dyer-Vermutung, die die algebraische Struktur bestimmter elliptischer Kurven mit analytischen Eigenschaften in Beziehung setzt; und die Massenlücke , ein Problem der Quantenphysik, das die Existenz einer Massenlücke in der Yang-Mills-Theorie betrifft.

Im Jahr 2002 löste der russische Mathematiker Grigori Perelman (St. Petersburg, 1966) die Poincaré-Vermutung; 2010 bestätigte ihn das IMC. Für diese Leistung erhielt er auch die Fields-Medaille, den Nobelpreis der Mathematik. Perelman lehnte beide Preise ab, da er nicht wie ein Tier im Zoo ausgestellt werden wollte. „Ich bin kein Held der Mathematik. Ich bin nicht einmal besonders erfolgreich. Deshalb möchte ich nicht, dass alle mir zuschauen .“ 1982 gewann er mit dem sowjetischen Team bei der IMO in Budapest mit der Höchstpunktzahl von 42 Punkten eine Goldmedaille, die er auch annahm.

Im Oktober 2024 gab Mark Zuckerbergs Unternehmen Meta bekannt, dass seine KI die Ljapunow-Funktionen entschlüsselt habe, ein mathematisches Problem, das Experten seit mehr als 130 Jahren vor Rätsel stellt und wichtige Werkzeuge für die Analyse der Stabilität dynamischer Systeme bietet.

In diesem Sinne ist sich die mathematische Gemeinschaft einig, dass KI die Forschung in einem Bereich fördern wird, in dem logisches Denken und Kreativität weitgehend menschlich bleiben werden.