Hacker News new | ask | show | jobs
Detailed Walkthrough of an AlphaGeometry Proof [video] (youtube.com)
2 points by manmathmo 818 days ago