第一次证明冲刺

本专著报告了关于十个研究层次问题的多智能体证明冲刺，结合快速草稿生成与对抗性验证、针对性修复和显式来源。工作流程使用索线图分解来分解主张依赖，以局部化缺口并协调审阅者驱动的修订。在QC层面，问题7和9具有节点级验证制品，但仍包含未解决的审查者缺口。主要的方法学结果是，结构感知验证和层次切换策略在压缩证明冲刺中提高了可靠性和校准。