Der KI-Algorithmus AlphaGeometry von Google DeepMind löst komplexe Geometrieprobleme auf dem Niveau eines Mathe-Olympiasiegers

DeepMind

Ein System der künstlichen Intelligenz namens AlphaGeometry, das von dem britischen Unternehmen Google DeepMind entwickelt wurde, hat bewiesen, dass es in der Lage ist, Geometrieprobleme zu lösen, die mit dem Niveau der Goldmedaillengewinner der Internationalen Mathematik-Olympiade (IMO), einem renommierten Wettbewerb für Gymnasiasten, vergleichbar sind.

Was bekannt ist

Nach Angaben der DeepMind-Forscher war AlphaGeometry in der Lage, 25 von 30 IMO-Testaufgaben in den vorgesehenen 4,5 Stunden zu lösen. Dieses Ergebnis ist vergleichbar mit der durchschnittlichen Leistung menschlicher Olympiasieger.

Vergleich der Produktivität von AlphaGeometry, dem Vorgängermodell und den IMO-Medaillengewinnern

Das System kombiniert zwei verschiedene Ansätze:

• ein neuronales Sprachmodell, das intuitive Ideen generiert;
• einen symbolischen Deduktionsmechanismus, der Ideen mit Hilfe formaler Logik und Regeln verifiziert.

Das Sprachmodell basiert auf der gleichen Technologie wie die Suchmaschine von Google und die Systeme zum Verstehen natürlicher Sprache. Der Deduktionsmechanismus ist von einer Methode inspiriert, die der chinesische Mathematiker Wen-Tsün Wu 1978 entwickelt hat.

Nach Ansicht von Experten zeigen die Ergebnisse einen Fortschritt in der Entwicklung maschineller Intelligenz, die in der Lage ist, logisch zu denken und neue mathematische Erkenntnisse zu gewinnen. Allerdings räumen sie auch die Grenzen von AlphaGeometry ein.

Dennoch könnten solche Systeme in Zukunft weit verbreitet sein, um die wissenschaftliche Forschung in Mathematik, Wissenschaft und anderen Bereichen zu beschleunigen, glaubt DeepMind. Zu diesem Zweck haben sie den AlphaGeometry-Quellcode auf GitHub veröffentlicht.

Quelle: Nature