On a test set of 30 IMO geometry problems from the years 2000-2022, #AlphaGeometry can solve 25 problems. This is approaching that of the average human gold medalists with 25.9 and surpasses the previous state-of-the-art system, which can only solve 10, by a large margin! (Note

→ View original post on X — @lmthang,