Steve Hsu: AI will push math frontier far beyond human minds, compression defines 'human math'
burny_tech · x · 2026-09-23
Physicist Steve Hsu amplified a talk titled 'Compression is all you need: Modeling mathematics.' It argues that 'human math' is a vanishingly small subset of all valid deductions ('formal math'), distinguished by compressibility via hierarchically nested definitions and theorems — a polynomial-growth space rather than the exponential one proofs-as-strings would imply. The argument combines toy monoid models with an empirical analysis of MathLib, a large Lean formalization library, and proposes compression itself as a measure of mathematical interest. Hsu concludes the math frontier will soon far exceed what ape brains with 10 working memory can discover.
More from AGI Musings
- Jagged frontier persists: models still struggle to abstract novel concepts into working patterns — Dan_Jeffries1 · 2026-09-23
- Pacing the Frontier: A Research Agenda to Curb AI Race Incentives Beyond Blunt Slowdowns — gleech · 2026-09-23
- New essay argues 'pacing the frontier' is a privilege AI can't afford as alignment lags — AccBalanced · 2026-09-23
- Toby Walsh calls out Hugging Face ethics lead over Books3 distribution and disinformation campaign — TobyWalsh · 2026-09-23
- Wired Survey: 59% of 634 Women in Tech Saw Gender Bias, Slam AI Double Standards — AnnaCiaunica · 2026-09-23
- As AI job losses loom, advice is to plan a career change proactively — shashib · 2026-09-23