Hacker News new | ask | show | jobs
by JacobiX 888 days ago
The most surprising observation for me is that the well known Wu’s Method for proving geometric theorems solved 10 problems ! AlphaGeometry solved 25 problems.