AlphaGeometry solves geometry problems, but that's only one kind of problem that appears in the IMO (and it has been improved significantly): "Before this year’s competition, AlphaGeometry 2 could solve 83% of all historical IMO geometry problems from the past 25 years, compared

→ View original post on X — @jeffdean