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

Eun-Ji Park 在 arXiv 发表论文，提出一个借助大语言模型、以源文本为依据的数学论证表示与测量框架，涵盖编号与未编号陈述、公式、假设和构造，并区分源出现、上下文状态与推理记录。 论文称该框架提供的是评估设计而非实证证据；框架建议的前提需经数学验证，其度量描述的是特定表示方式，而非数学难度、原创性或重要性本身。

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

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