研究者提出数学论证依赖图表示与度量框架

Eunji Park 等人提出一个借助大语言模型、以原文为依据的数学论证表示与度量框架，用于区分编号与非编号陈述、方程、假设和构造，并记录依赖关系的原文证据与审查状态。该框架在有向无环图上以最长前置路径定义深度、以不同祖先边计数定义体量，并给出考虑共享子论证的并集递推及保持深度与宏观骨架的可达性条件。 作者称，论文提供的是评估设计而非这些益处的实证证据；所建议的前提仍需数学验证，这些度量描述的是特定表示，而非数学本身的内在难度、原创性或重要性。

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

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