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

[Yair Halberstadt]

Interesting—how does the non AI portion work?