Τα μοντέλα AlphaProof και AlphaGeometry 2 έλυσαν 4 από τα 6 προβλήματα που τους τέθηκαν στον διεθνή διαγωνισμό.