[lacker]

Yes, and even the non-neural-network, symbolic plus linear algebra component of AlphaGeometry is able to outperform the previous state of the art. So a decent amount of work here went into the components that aren't neural networks at all.

[riku_iki]

probably previous results didn't have a chance to use 7.5M CPU/h..