johnswentworth comments on AI #48: Exponentials in Geometry

[johnswentworth]

Interesting. Do you know where in the paper that was?

[ryan_greenblatt]

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