Aristotle: IMO-Level Automated Theorem Proving #1 Post by jasondavies » Fri, Oct 03, 2025, 5:05 PM UTC Aristotle: IMO-Level Automated Theorem Provingarxiv.org