新论文用定理长度除以证明长度量化数学结果有多有趣

MarioKrenn6240 · x · 2026-11-11

一篇新论文提出把数学结果的「有趣程度」形式化为：命题陈述长度与证明长度之比。作者在 MATHLIB 的 113,240 条定理上计算了该趣味度指标 I₀ 的分布：基础代数恒等式垫底，分析类定理因定义前提庞大居中，而费马小定理、均值定理以及「n=3/4 时的费马大定理」这类陈述极短、证明极难的著名定理排在最右端。数学家 Thomas Bloom 转发并追问该定义的边界情形，比如陈述冗长但证明极短却有趣的例子。