DeepSeek-Prover-V2首稿
本轮直接阅读所列原文位置；未复跑实验
原文位置：§3及§3.1 Experimental Results；表1（671B CoT/候选预算）、表2（题目类别）；附录C题集修订。
不能据此推出：671B CoT的88.9%为pass@8192；82.4%为pass@32，61.9%为pass@1；不是首试成功率
核查 2026-10-14 · 所属资料版本 2026-10-19.boundary.1 · 来源ID BM06
实际引用在哪里
开放证明模型可按预算测量 →
历史公开材料，适用时点按该事件解释
关系：时间轴引用