独立与非负相关噪声下胜者偏差的紧界

新研究证明了在独立非同分布与成对非负相关噪声下胜者偏差的紧界，全部定理均已在 Lean 4 中完成形式化验证。在 448 个语言模型和分类器选择流程测试中，候选模型各自使用独立样本时偏差达到理论上限中位数的 0.75。这表明在固定样本预算下，让所有候选模型在共享样本上评测能显著降低得分高估。