AlphaGeometry was put to the test by solving 30 Olympiad-level geometry problems, and it managed to successfully tackle 25 of them, outshining all previous AI endeavors in this field.