待验证50% 置信基准精确时间

让裁判同时看到形式化产物，会损失1.4到4.5个百分点的性能。

1

来源数

50%

置信度

长期有效

时效性

2026/10/14

首次发现

来源

claimcheck：让LLM写形式化规约不再"跑偏"

涉及实体

claimcheckconcept

相关事实

已验证研究表明在 Q4 及以上精度时，大多数任务的性能损失在 1–3% 以内76% 相似已验证INT8量化约损失0.5%精度、显存减半，INT4量化显存压缩至原来的1/4、精度损失约1-3%73% 相似已验证4-bit量化在损失约1-3%准确率的前提下，将模型体积缩减至原来的1/872% 相似已验证对于参数量大于30B的模型，4-bit量化造成的性能损失通常在基准测试中下降1-3%，但对小模型影响更显著72% 相似已验证在长链路任务中，若每一步约5%的错误率，经过20步后整体成功率可能跌至不足36%71% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1023862

API

curl https://kongchang.com/api/v1/knowledge/claims/1023862

MCP

get_claim(id=1023862)