KI-Programm AlphaGeometry brilliert bei Mathematik-Olympiade
Ein Durchbruch in der Künstlichen Intelligenz (KI): Das neue Programm AlphaGeometry hat erfolgreich 25 von 30 Geometrie-Aufgaben der renommierten Internationalen Mathematik-Olympiade gelöst. Forscher von Google DeepMind und der New York University präsentierten ihre bahnbrechenden Ergebnisse in der Fachzeitschrift „Nature“. Diese Entwicklung könnte dazu führen, dass KI-Programme in Zukunft bei Schülerwettbewerben wie der Mathematik-Olympiade mitmischen.
Die Mathematik-Olympiade, bei der Schülerinnen und Schüler aus aller Welt um Medaillen konkurrieren, könnte bald von KI-Programmen herausgefordert werden. Das AlphaGeometry-Team, unter der Leitung von Trieu H. Trinh, präsentierte ein Programm, das nicht nur 25 von 30 Geometrie-Aufgaben der IMO lösen konnte, sondern auch eine allgemeinere Lösung zu einem Problem von 2004 fand, das Fachleuten bisher entgangen war.
Der bisherige Widerstand von Computern gegen komplexe mathematische Beweise resultierte oft aus mangelnden Datensätzen. Das AlphaGeometry-Team überwand dieses Hindernis, indem es einen eigenen Datensatz erstellte, der mehr als 100 Millionen Aufgaben inklusive Beweisen umfasst. Dieser innovative Ansatz ermöglichte es der KI, selbst schwierige Beweise zu führen, die über einfache Deduktionen hinausgehen.
Die Methode von AlphaGeometry beinhaltet die Zusammenarbeit von deduktiven Algorithmen und einem großen KI-Sprachmodell. Die KI generiert Hilfskonstruktionen, um komplexe Beweise zu unterstützen. Die Ergebnisse sind beeindruckend: AlphaGeometry übertraf herkömmliche Programme und sogar menschliche Teilnehmer bei der Lösung geometrischer Probleme der Mathematik-Olympiade.
Obwohl AlphaGeometry aufgrund der Geometrie-Aufgaben allein noch nicht für eine Teilnahme an der Mathematik-Olympiade qualifiziert ist, betonen die Forscher, dass ihr Ansatz auf andere mathematische Bereiche ausgeweitet werden kann. Experten prognostizieren, dass KI-Modelle in naher Zukunft bei Schülerwettbewerben wie der IMO mit den besten menschlichen Teilnehmern konkurrieren könnten.
https://www.spektrum.de/news/die-ki-alphageometry-loest-aufgaben-der-mathematik-olympiade/2204167