Hacker News new | ask | show | jobs
Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry (arxiv.org)
3 points by shivensinha4 803 days ago