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

EasyProver 完成了 VERINA 的全部 189 个任务，方式包括证明与反证两种。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/30

首次发现

有效期至：2027/1/28

来源

EasyProver：递归智能体如何攻克真实代码形式化验证

涉及实体

EasyProverproduct VERINAconcept

相关事实

待验证Verus中的证明部分包含辅助断言、循环不变量等，不参与实际运行，只服务于验证过程55% 相似待验证Pricor 后端测试套件通过 1219 个测试，前端通过 194 个测试。53% 相似待验证测试最终形成174条任务、1744次尝试的样本量，采用同路由、同平台、同时段的AB对比方式52% 相似待验证第一次完整基线运行报告176个测试全部通过，同时追加了30行合成数据到生产日志51% 相似待验证代理们用了大量精力验证工作，仅两个商品列表就积累了2727个测试。51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114739

API

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

MCP

get_claim(id=1114739)