[控场AI]
待验证50% 置信事实精确时间

形式化验证只能证明程序符合规约,但无法保证规约本身正确

1
来源数
50%
置信度
长期有效
时效性
2026/8/18
首次发现

来源

相关事实

引用此条事实

Stable URI
https://kongchang.com/claim/767760
API
curl https://kongchang.com/api/v1/knowledge/claims/767760
MCP
get_claim(id=767760)