待验证50% 置信事实精确时间
Aegis 生成了 2,045 对经过差分验证的 Rust-Lean 程序对，以及 11,533 条候选规约。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/30
首次发现
有效期至：2027/1/28
来源
涉及实体
相关事实
待验证Aegis 是一个面向真实实现验证的新基准，其构建流程为：先写出安全的 Rust 解法，再借助 Aeneas 翻译成 Lean，随后生成规约，最后为每条冻结的语句标注经内核检查的证明或反证。72% 相似待验证Aegis 的 aegis check --ci 将门禁和不变式规则与合并基点对比，防止 PR 中删除门禁、降低等级、缩小覆盖范围或削弱 forbid_ast 模式。58% 相似待验证AIClaw 上下文测试覆盖了估算与供应商用量的分离、图像字节排除、未知值、压缩成功与失败的区分，以及 55 条记录后持久化保留 50 条的行为。58% 相似待验证对于调用大模型API的产品，版本锁定需配合回归测试集：在切换版本前，用固定提示词与评分标准验证关键任务（如结构化输出、工具调用、长上下文检索）的表现是否退化。57% 相似待验证EmsyAI使用230万参数的LoRA适配器在CodeAlpaca数据集上做指令微调，在HumanEval代码基准测试中得分为0.0%55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1114742API
curl https://kongchang.com/api/v1/knowledge/claims/1114742MCP
get_claim(id=1114742)