Hackernews posts about AlphaGeometry2

1. Gold-Medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 (arxiv.org)
   64 points by hnhn34 about 1 year ago | 5 comments
2. AlphaGeometry2: Impressive accomplishment, but still a long path ahead (garymarcus.substack.com)
   1 points by signa11 about 1 year ago | discuss
3. Wu's Method Can Boost AlphaGeometry to Outperform Gold Medalists at IMO Geometry (arxiv.org)
   7 points by mnk47 almost 2 years ago | 1 comments
4. Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold (arxiv.org)
   6 points by shivensinha4 almost 2 years ago | discuss
5. Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry (arxiv.org)
   3 points by shivensinha4 almost 2 years ago | discuss
6. Show HN: AlphaGeometryRE AlphaGeometry Re-Engineered (github.com)
   2 points by foldl2022 about 1 year ago | 1 comments
7. Some Perspective on AlphaGeometry (old.reddit.com)
   2 points by madmax108 over 1 year ago | discuss
8. Detailed Walkthrough of an AlphaGeometry Proof [video] (www.youtube.com)
   2 points by manmathmo almost 2 years ago | discuss
9. Ask HN: Why did AlphaProof fail at IMO combinatorial problems?
   4 points by ckcheng over 1 year ago | 2 comments
10. Why the future of AI is neurosymbolic. (A rare optimistic post from Gary Marcus) (garymarcus.substack.com)
    36 points by garymarcus over 1 year ago | 36 comments