什么让数学定理值得关注？研究提出可量化“有趣性”的评估方法

一项研究通过观察数学家在形式化数学库和论文中挑出哪些结果，把“有趣性”建模为对定理陈述、证明与依赖特征的加权评估器，并将其拆分为共享权重与主观权重。在形式化数学中，陈述长度、证明长度和所涉子领域等事前特征对筛选结果的预测能力可媲美大语言模型评判器，两者还能互补。该研究作者为 Silvère Gangloff，论文编号 arXiv:2611.02905。