待验证50% 置信事实精确时间

张益唐于2013年证明存在无穷多对素数间距小于7000万，此后通过Polymath协作项目上界被压缩至246

1

来源数

50%

置信度

长期有效

时效性

2026/9/7

首次发现

来源

Claude 11天证明费马大定理，陶哲轩警示AI黑盒抢答污染科学

涉及实体

张益唐person Polymathproject 孪生素数间距concept

相关事实

待验证TinyBERT通过两阶段知识蒸馏将参数压缩至1400万62% 相似待验证DistilBERT将参数量压缩至6600万（原版1.1亿），推理速度提升60%，精度损失不足3%60% 相似待验证INT8量化通过将32位浮点权重映射到8位整数，在几乎不损失精度的前提下将模型体积压缩75%59% 相似待验证模型最终参数量为13,693,824个，落在10-30百万目标区间内57% 相似待验证CodeGraph官方基于7个真实开源项目的中位数统计，Token消耗减少47%57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/874403

API

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

MCP

get_claim(id=874403)