h1: A Taste of the Bitter Lesson in Automated Theorem Proving
arXiv:2610.35962v1 Announce Type: new Abstract: While progress in informal mathematics has come largely from scaling the chain-of-thought and agentic reasoning of frontier language models, formal theorem proving has increasingly relied on human-designed workflows around these models, such as planni…
Read the full story at arXiv cs.LG ↗
Timeline · 1 report
- 2026-10-28 04:00 · arXiv cs.LG
h1: A Taste of the Bitter Lesson in Automated Theorem Proving