待验证50% 置信事实精确时间
这些证明合计大约1亿8千万行Rocq，典型一份证明约60万行，中位二进制约18000条RISC-V指令。
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/10/24
首次发现
有效期至：2026/11/7
来源
Anthropic研究：LLM让形式化软件验证规模化成为可能
bilibilimo2cc2026/10/24
涉及实体
相关事实
待验证作者实测一百万次字节取模，前6个条目落在约101,000次，后4个约97,500次，卡方检验p值几乎为零。66% 相似待验证文中示例模型总参数约11万，其中Attention模块占1.6万，FFN占3.3万62% 相似待验证在RCAEval RE2-OB微服务根因定位数据集上，Decision-1在90个案例中正确识别根因服务85次，准确率94%，超过'最大指标偏移'规则基线的82%（McNemar p=0.013）。62% 相似待验证张益唐2013年4月17日向《数学年刊》投稿，证明存在无穷多个相邻素数对其间隔小于7000万61% 相似待验证在检验的约 2,000 篇论文中，超过 1,100 篇论文至少有一个关键论断被独立验证，其中266篇被完全复现，632篇通过小规模实验部分复现，约4,000个独立论断得到确认61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1092430API
curl https://kongchang.com/api/v1/knowledge/claims/1092430MCP
get_claim(id=1092430)