ryan_greenblatt comments on AI #48: Exponentials in Geometry

[ryan_greenblatt]

See Table 1. In particular, the comparison between “DD + AR + human-designed heuristics” and “AlphaGeometry”.