h1: A Taste of the Bitter Lesson in Automated Theorem Proving

2 points | by matt_d 12 hours ago