论文定义定理趣味性=证明长度与陈述长度之比,网友神吐槽
tak3sh8 · x · 2026-10-11
一篇近期论文把定理的“内在趣味性”定义为“证明长度与陈述长度之比”——比值越大,说明用极短的陈述换来了极长的证明,越有趣味。
网友据此吐槽:按这个定义,那些陈述极短、证明却冗长无比的结果,恰恰是“极其有趣”的定理 😅。评论还接上了 David Chapman 关于“早期数学/物理发现冲击理性确定性”的讨论:如果发现大部分数学“又蠢又丑”,会对文化产生什么影响?
「Fun」频道最新
- 水疗馆门口现 AI 生成招牌:广告牌上画着同一块广告牌 — round · 2026-10-12
- 法兰克福书展办 AI 翻译对决：文学译者反过来模仿 AI 腔调 — lmoroney · 2026-10-12
- 脑内声音已变成 Claude：玩家晒模型拟人化梗图 — Gauri_the_great · 2026-10-12
- 开发者把 AI 对话做成 10 分钟影片：最先进 AI 的「致人类书」 — Gravatational_Energy · 2026-10-12
- 千元手机里的超级智能，被用来分辨 hey 和 heyyy 的区别 — signulll · 2026-10-12
- David Senra 真的“凭空冒出”？其 Founders 播客十年前就开更 — sahilypatel · 2026-10-12