待验证50% 置信事实精确时间
ProofRun 为 AI 编程代理提供「本地验证回执」（local verification receipt），使 AI 的工作成果可审计、可追溯、可信任
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/8/22
首次发现
有效期至：2026/11/20
来源
涉及实体
相关事实
待验证形式验证工具如Lean、Coq可用于验证AI生成的完整数学证明，从而在数学意义上保证其正确性69% 相似待验证该方案中 AI 自动评审会进行完整性检查、一致性检查和冗余检查等多维度验证68% 相似待验证本地验证使验证过程独立于 AI 代理，避免「既当运动员又当裁判」的问题68% 相似待验证针对AI生成代码的验证流程应包含静态分析关卡、依赖审计、测试覆盖率门禁和人工语义审查四个互补检查点66% 相似待验证Self-verification in AI coding loops can be implemented using automated test suites, static analysis tools such as ESLint and mypy, sandbox execution environments, and cross-validation by a secondary AI instance66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/788441API
curl https://kongchang.com/api/v1/knowledge/claims/788441MCP
get_claim(id=788441)