Related reading
Learning to Discover Interesting Mathematics
This paper proposes a metric for "interestingness" in mathematics, defined as the ratio of proof length to statement length, which correlates with a theorem's utility. They trained a 27B model to predict proof difficulty, showing it can generate more novel and interesting theorems by optimizing for this metric.
Hugging Face Daily Papersarxiv.org1 minpaperIf math is more than proof, we need to better celebrate the rest of it
The author argues that mathematics should reward “motivated explanations” – narrative, intuition‑driven expositions that clarify why a theorem is interesting and how it fits into broader context – on par with traditional proof‑oriented work. He defines the concept, contrasts it with proofs, cites examples (Princeton Companion, Thurston’s essays, Chow’s exposition paper), and suggests formalizing…
Hacker News front pagewordpress.com12 minHN425284
