New paper defines how 'interesting' a math theorem is: statement length over proof length
MarioKrenn6240 · x · 2026-11-11
A new paper formally quantifies how interesting a mathematical result is as the ratio of statement length to proof length. Applied to 113,240 theorems in MATHLIB, the metric ranks basic algebraic identities at the bottom, analysis in the middle (huge definitional prerequisites), and famously hard-to-prove results like Fermat's Last Theorem for n=3 at the top. Mathematician Thomas Bloom asks for counterexamples.
More from Research
- AHA 2026: AI reads smartwatch ECGs for heart failure and speeds echo interpretation — AmiBhattMD · 2026-11-11
- SAG2 builds RAG index 7000x faster with no embeddings or GPU, beats HippoRAG 2 — udmrzn · 2026-11-11
- Artist with disability releases his artwork as a dataset for anyone to remix — plzno1 · 2026-11-11
- The Memory Trap: Benign Chats Can Make AI Agents Skip Confirmations and Wire $1.2M Unverified — AndrewLampinen · 2026-11-11
- TaskNet: AI-Led Worker Interviews Add 79 Tasks Missing from O*NET, Raise AI Exposure for Lawyers and Devs — stanfordnlp · 2026-11-11
- Stanford CS329Z releases assignment on building terminal-bench-style agent evals with Harbor — Diyi_Yang · 2026-11-11