功耗测量能否约束隐蔽算力？AI 治理中模拟验证的局限

研究推导出闭式解 β，即功耗轨迹无法排除的最大隐藏算力占申报机器容量的比例，用于评估模拟侧信道对算力协议的验证能力。该分析针对主动试图规避审计的对手，考察功耗等芯片外模拟测量能否约束实际运行的计算量。前沿 AI 条约或算力限制协议依赖外部验证，而模拟验证通道在对抗性条件下的有效性此前尚不明确。