AlphaGeometry ist ein KI-System zur Lösung geometrischer Probleme, das bestehende Technologien übertrifft. Durch die Kombination der prädiktiven Fähigkeiten neuronaler Sprachmodelle und einer regelbasierten Inferenzengine kann es komplexe geometrische Probleme lösen. Das System verwendet einen neuro-symbolischen Ansatz, bestehend aus einem neuronalen Sprachmodell und einer symbolischen Inferenzengine, die gemeinsam nach Beweisen für komplexe geometrische Theoreme suchen. Durch die Generierung von einer Milliarde zufälliger geometrischer Objekte und der Ableitung aller Beziehungen daraus wurden letztendlich 100 Millionen einzigartige Trainingsbeispiele gewonnen, darunter 9 Millionen mit zusätzlichen Konstruktionen. Das Sprachmodell von AlphaGeometry kann bei geometrischen Problemen der Internationalen Mathematik-Olympiade (IMO) gute Vorschläge liefern. Das System ist das weltweit erste KI-Modell, das das Niveau einer Bronzemedaille bei der IMO erreicht hat.