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

[ryan_greenblatt]

Sure, just seems like a very non-central example of AI from the typical perspective of LW readers.