研究提出定理「有趣度」指标，LLM 自主发现有趣数学

NYU Julia Kempe 团队发布论文《Learning to Discover Interesting Mathematics》。随着 LLM 已能证明困扰数学家数十年的结果，无人类引导下「找到有趣的定理」成为新瓶颈。团队提出可量化的「趣味性」指标，并训练模型学习该指标，结果显示 27B 模型在预测证明难度方面超越了前沿模型，趣味性指标带来 4.3 倍提升。

2026-09-26 ~ 2026-09-26 · 2 条相关

• LLM 自主发现数学定理，趣味性指标提升 4.3 倍 — CatAstro_Piyush · 2026-09-26
• 论文提出定理「有趣度」指标,27B 模型超越前沿模型预测证明难度 — Pascallisch · 2026-09-26