AlphaProof und AlphaGeometry 2 lösten vier von sechs Aufgaben. Damit erreichten sie bei dem prestigeträchtigen Wettbewerb das Niveau einer Silbermedaille.