Hacker News new | ask | show | jobs
The AI that solved IMO Geometry Problems [video] (youtube.com)
2 points by selvan 303 days ago