carboniferous_umbraculum comments on AlphaGeometry: An Olympiad-level AI system for geometry