3 ms·AlphaGeometry2: Impressive accomplishment, but still a long path ahead1 points by signa11 2y ago