Die Studie wurde am 17. Januar in Nature veröffentlicht, einer renommierten wissenschaftlichen Zeitschrift mit über 150 Jahren Geschichte.
Die Hauptautoren von AlphaGeometry sind Trinh Hoang Trieu, 29 Jahre alt, Doktorand der New York University, und Luong Minh Thang, 36 Jahre alt, Doktorand der Stanford University, USA. Trieu und Thang wurden von drei weiteren Wissenschaftlern begleitet, darunter der 42-jährige Dr. Le Viet Quoc, der bei Google als „KI-Genie“ gilt. Dr. Quoc und Thang sind außerdem leitende Experten bei Google DeepMind, der Forschungsabteilung für künstliche Intelligenz (KI) von Google.
Bei der Internationalen Mathematik-Olympiade (IMO) von 2000 bis 2022 löste AlphaGeometry 25 Aufgaben mit 30 Geometrieaufgaben innerhalb der vorgegebenen Zeit. Unterdessen löste ein hochmodernes System lediglich 10 Probleme, während ein IMO-Goldmedaillengewinner durchschnittlich 25,9 Probleme löste.
Laut Google besteht jede Olympiade aus 6 Aufgaben, darunter normalerweise 2 Geometrieaufgaben, sodass AlphaGeometry nur 1/3 der Aufgaben bewältigen kann. Allein in Bezug auf die Geometrie ist diese KI den IMO-Goldmedaillengewinnern ebenbürtig. Zählt man die Gesamtzahl der Einsendungen, ist dies das erste KI-Modell weltweit, das die Bronzemedaillenschwelle der IMO 2000 und 2015 überschreiten kann.
Viele KI-Experten und Mathematiker halten dies für ein beeindruckendes Ergebnis.
„Es ist absolut sinnvoll, dass KI-Forscher sich an IMO-Geometrieproblemen versuchen, denn die Lösungsfindung dafür ist ein bisschen wie Schach, da wir bei jedem Schritt nur sehr wenige sinnvolle Züge haben. Aber ich bin trotzdem überrascht, dass sie es schaffen“, sagte Professor Ngo Bao Chau.
Problem 3 von IMO 2025, gelöst von AlphaGeometry. Foto von : Character bereitgestellt
AlphaGeometry kombiniert ein neuronales Sprachmodell mit guten Denkfähigkeiten und einer auf logisches Denken spezialisierten Symbol-Engine, die dann für das Verständnis von Geometrie angepasst wurde.
Zunächst wird das neuronale Netzwerk anhand von Daten trainiert, die algorithmisch mit 100 Millionen Beispielen geometrischer Beweise ohne Verwendung menschlicher Lösungen generiert wurden. Wenn AlphaGeometry mit der Lösung eines Problems beginnt, wird zuerst die symbolische Engine gestartet. Bleibt es einmal hängen, schlägt das neuronale Netz weitere Hilfsmaßnahmen vor.
Dieser Vorgang wird als „Hilfspunkte konstruieren“ bezeichnet. Dabei handelt es sich um das Zeichnen einer zusätzlichen Linie, das Halbieren eines Winkels, das Zeichnen eines Hilfskreises … genau wie ein Mensch ein Geometrieproblem löst. Die Schleife wird fortgesetzt, bis die Antwort gegeben wird oder bis die 4,5 Stunden, die für Aufgaben in der IMO-Prüfung vorgesehen sind, abgelaufen sind.
Das Besondere an dieser KI, so die drei Mediziner, sei, dass die Eingabedaten vollkommen künstlich seien. Trieu sagte, dass AlphaGeometry selbst qualitativ hochwertige Daten generiert, die gut genug sind, um eine bestimmte Leistung zu erzielen, ohne dass Trainingsdaten aus menschlichen Lösungen erforderlich sind. Dies ist etwas, was andere KI-Tools wie ChatGPT oder Gemini nicht konnten.
„Einfach ausgedrückt generiert AlphaGeometry Lösungen aus dem Nichts. Aktuelle KI-Modelle suchen nach verfügbaren oder ähnlichen menschlichen Lösungen“, erklärte Dr. Thang.
Das Forschungsteam entwickelte außerdem ein System, das aus einer Kombination aus System 1 (schnelle, automatische, unbewusste Reaktion) und System 2 (langsam, logisch) besteht. Das ist ziemlich banal, aber in Kombination mit künstlichen Daten gelingt es zu einem Durchbruch.
Drei vietnamesische Doktoranden bei Google DeepMind (von rechts nach links): Le Viet Quoc, Trinh Hoang Trieu, Luong Minh Thang. Foto von : Character bereitgestellt
Die Idee zu AlphaGeometry kam Trieu 2019, als er nach einem Thema für seine Abschlussarbeit an der New York University suchte.
„Ich erinnere mich an meine Zeit an der High School. Ich habe es geliebt, Geometrieaufgaben zu lösen, war aber nicht gut genug, um an der Staatsprüfung teilzunehmen. Also habe ich beschlossen, es weiter zu verfolgen. Zunächst war es nur ein Modell, mit dem man einfache Matheaufgaben lösen konnte“, erinnert sich der gebürtige Quy Nhon.
Als Mathematikschüler an der Quoc Hoc Hue High School und der Gifted High School in Ho-Chi-Minh-Stadt waren Quoc und Thang schnell von Trieus Idee angetan. Anschließend wechselte Trieu zu Google DeepMind und arbeitet dort seit 2021.
Im Juli 2022, nach 10 Versionen, löste AlphaGeometry sein erstes Geometrieproblem. Der Wendepunkt für das Team kam drei Monate später, als ein Geometrieproblem bei IMO gelöst wurde.
Laut Dr. Trieu kann die von der Gruppe entwickelte KI als Leitsystem eingesetzt werden und Gymnasiasten beim Erlernen der Geometrie unterstützen.
Evan Chen, Doktorand der Mathematik am MIT und IMO-Goldmedaillengewinner 2014, war beim Testen von der Wirksamkeit dieser KI überrascht. Chen sagte, dass ein Computerprogramm Geometrie normalerweise mithilfe von Koordinatensystemen und Algebra löst, AlphaGeometry jedoch rein geometrische Regeln mit ähnlichen Winkeln und Dreiecken verwendet, genau wie die Schüler.
„Ich war neugierig, wie AlphaGeometry das schaffen konnte“, sagte Chen.
Dr. Le Ba Khanh Trinh (Mitte) löst Problem Nummer 3 bei der IMO 2015. Foto: Wendy Nguyen
Vor einem Monat, als er zur Gifted High School zurückkehrte, schickte Dr. Thang Dr. Le Ba Khanh Trinh die KI-Lösung für Problem Nummer 3 bei IMO 2015. Dies ist eines der schwierigsten Geometrieprobleme bei den IMOs. AlphaGeometry gab die Antwort nach 109 Schritten.
„Herr Trinh war beeindruckt, weil er es mit sehr einfachen Regeln gelöst hatte, aber er war nicht sehr zufrieden, weil die Lösungen seiner Meinung nach Seele und eine gewisse Schönheit haben und miteinander verbunden sein müssen“, erzählte Herr Thang. Anschließend verwendete Dr. Trinh die inverse Methode und lieferte das Ergebnis nach etwa 20–30 Schritten. Herr Trinh gewann 1979 die IMO-Goldmedaille mit der vollen Punktzahl und ist zudem der einzige Vietnamese, der bei einem IMO-Wettbewerb mit einer schönen und prägnanten Lösung eines Geometrieproblems einen Sonderpreis gewann.
Das Team sagt, dies könnte eine Möglichkeit sein, AlphaGeometry weiter zu verbessern. Sie hoffen auch, dass die nächsten Schritte dieser KI-Entwicklung der Menschheit helfen können, die sieben Jahrtausendprobleme zu lösen.
Dr. Le Viet Quoc hielt dies einst für eine „unmögliche Aussicht“, da KI Probleme sehr gut in einem Schritt lösen kann, mathematische Probleme jedoch oft aus Hunderten von Schritten bestehen.
Das „KI-Genie“ von Google sagte, er sei stolz darauf, dass die Forschungsergebnisse vietnamesischer Ingenieure in Nature veröffentlicht wurden – der renommiertesten internationalen Fachzeitschrift. Ihm zufolge kann KI mathematische Probleme lösen und die Menschheit voranbringen.
„Denn Mathematik ist die Sprache der Wissenschaft und Technologie. Mathematik zu betreiben ist der Weg, die Entwicklung dieser Bereiche voranzutreiben“, sagte Herr Quoc.
Doan Hung
![[Foto] Premierminister Pham Minh Chinh leitet Regierungskonferenz mit Kommunen zum Thema Wirtschaftswachstum](https://vstatic.vietnam.vn/vietnam/resource/IMAGE/2025/2/21/f34583484f2643a2a2b72168a0d64baa)
Kommentar (0)