Hacker News new | ask | show | jobs
Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold (arxiv.org)
6 points by shivensinha4 804 days ago