> All changes described in this section improve the AG domain language coverage from 66 to 88% on all 2000-2024 IMO geometry problems. The remaining 12% contain

> All changes described in this section improve the AG domain language coverage from 66 to 88% on all 2000-2024 IMO geometry problems. The remaining 12% contain 3D geometry, inequalities, non-linear equations, and countably many points (i.e. problems that have points where is an arbitrary positive integer). All problems (covered and not covered) by AG1 and AG2 can be found on Figure 8. Not covered are referred as "Not attempted". The above explanation on page 5 was really interesting to me - so it's not that AlphaGeometry2 failed on these 12% of problems, but rather that it literally didn't have the words to tackle them.