Before people lose their minds on AlphaGeometry, I thought I'd share this gem the r/math subreddit lending some insight into how the original AlphaGeometry appe

Before people lose their minds on AlphaGeometry, I thought I'd share this gem the r/math subreddit lending some insight into how the original AlphaGeometry appears to work from the perspective of someone far more literate in math than the rest of us. https://www.reddit.com/r/math/comments/19fg9rx/some_perspective_on_alphageometry/ https://www.reddit.com/r/math/comments/19fg9rx/some_perspect... The tldr is that a lot of the heavy lifting was done by an algorithm used called Deductive Database + Algebraic Relations. I must stress that the results were still impressive, at the time scoring a silver in Olympiad Geometry was seen as something out of reach for AI, and it's impressive that they were able to do this with a mostly deterministic approach. The point is that you really didn't need that much AI to actually score a silver.