Frozen archive redirect

AlphaProof + AlphaGeometry2 reach 1 point short of IMO Gold

This older issue lives in the static archive. If you are not redirected automatically, open the archived issue.