研究提出数学定理趣味性量化评估方法

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

AI 根据报道生成 · 4 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。