PriorProof提出一种面向Lean形式化数学的时间相对证明路线新颖性指标：从证明项提取依赖足迹，并依据较早季度Mathlib快照建立检索条件、分层平滑的先验，计算加权意外度。在76组去重比较中，它与领域评审多数意见一致53组，准确率69.7%；最大分差组达84.2%，但整体尚不足以替代专家判断。
最近 24 小时暂无可用热度快照。