Το AlphaProof έλυσε δύο προβλήματα άλγεβρας και ένα πρόβλημα αριθμητικής, ενώ το AlphaGeometry 2 ένα πρόβλημα γεωμετρίας
ΦΟΡΤΩΣΗ ΠΕΡΙΣΣΟΤΕΡΩΝ
