h1: A Taste of the Bitter Lesson in Automated Theorem Proving
By matt_d · 2026-11-02 · 1 points · 0 comments
https://arxiv.org/abs/2610.35962
By matt_d · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews