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

研究提出一种借助大语言模型表示与度量数学论证的有向无环图框架，以最长前提路径定义深度，以不同祖先边数统计体积。该方法采用标准化提示词协议分离标注发现、确定性重算与审查辅助，支持跨论文分析定理共用和依赖社区。其应用包括辅助审查人类与 AI 生成证明中的疏漏或未检验条件，但度量仅针对特定表示而非数学内在难度。