数学论证的依赖图：表示、结构测量与证明审查

研究人员提出了一个由大语言模型辅助的源锚定框架，利用有限有向无环图实现数学论证的依赖关系表示、结构测量与证明审查。该框架定义了论证深度与体量等结构指标，并通过标准化且版本化的提示词协议分离标注发现、确定性重算与审查辅助。该方法支持跨论文定理共用分析以及对人类和 AI 生成证明的疏漏审查，目前论文仅提供了评估设计。