Research KB 登录

VER-005 Verification

核验 CLM-005 采样算力:§5.2 锚点(23.7 vs 25.9、15.2 vs 80.7 Tflops)与 Figure 10 一致,FID-10K 口径已声明。supported。

id
updated
type verification
claim CLM-005
result supported
basis §5.2 锚点数字(23.7 vs 25.9、15.2 vs 80.7 Tflops/图)与 Figure 10 核对一致;FID-10K 口径已在 scope 与 Caveats 声明
checked 2026-09-03

Checks

  1. 内部一致性:命题的锚点对照(XL/2@128 步 15.2 Tflops FID-10K 23.7 优于 L/2@1000 步 80.7 Tflops 25.9)与 §5.2 原文逐字一致;普适表述“cannot compensate”与论文一致且命题注明限于该模型族。
  2. 证据链完整性:EVI-005 observation 精确到 Figure 10 + §5.2;method 载明 [16..1000] 步网格;scope 载明 FID-10K(与主表 FID-50K 口径不同)。
  3. scope 匹配:命题限定 400K 步的 12 变体——与 Figure 10 数据范围一致;“不外推到其他模型族”的边界已在 Notes 声明。
  4. 跨来源核对:单源 KB,推迟至 T-RECONCILE。

Notes

“采样算力不可替代模型算力”是 DiT 族内的经验发现;与其他文献中 test-time compute 结论的关系(一致/冲突)留待侧翼比对。

Scope Note

2026-09-07 命题按 _issues/0001 重述(定性化);本 VER 基于旧范式(数字对照)审核,投影忠实度段待 T-VERIFY 补审。

投影忠实度复核(2026-09-07)

忠实。定性化后命题(“扩大采样算力不能补偿模型算力不足”)即论文 §5.2 原句的定性表述;锚点(XL/2@128 步 vs L/2@1000 步≈5×)与 [16,1000] 步网格覆盖均为旧审核逐项核对项,数字沉入 EVI-005 后断言范围未变。“不外推到其他模型族”边界未变。结论不变。

关联(2)

  • CLM-005 采样算力不能补偿模型算力:DiT 族内小模型即使以数倍单图采样算力生成,FID 仍劣于大模型的低步数采样(锚点数字见 EVI-005)。
  • EVI-005 Figure 10/§5.2:小模型多步采样追不平大模型(80.7 Tflops@1000 步 FID 25.9 vs 15.2 Tflops@128 步 23.7),采样算力不可替代模型算力(支撑 CLM-005)。