Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered | Dark Hacker News