待验证50% 置信观点精确时间

留一法验证下达到100%可复算仅能说明符号系统内部的自洽性，并不直接等同于其在真实LLM任务中的有效性。

1

来源数

50%

置信度

长期有效

时效性

2026/10/18

首次发现

来源

19683卦象空间开源：给大模型一个可证伪的确定性认知层

涉及实体

留一法验证concept

相关事实

待验证形式化证明中每一步推理都必须被计算机内核机械地验证，Lean的可信计算基仅有数千行代码72% 相似待验证作者声称该系统的确定性自适应秩计算过程 100% 可重算，并通过留一法验证达到 100%。72% 相似待验证该部分验证方法是无损的，不以牺牲精度换取效率，理论保证不受影响72% 相似待验证形式化验证只保证代码满足规约，不保证规约忠实于自然语言需求，因此一个比需求更窄的属性的机器证明可能毫无价值却能通过所有检查。71% 相似待验证Codemind 的验证标准由用户提供，标准越明确代理越可能一次通过；验收条件模糊则验证环节失去意义71% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1061210

API

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

MCP

get_claim(id=1061210)