Hacker News new | ask | show | jobs
Aristotle: IMO-Level Automated Theorem Proving (arxiv.org)
3 points by jasondavies 259 days ago