待验证50% 置信事实精确时间
形式化验证领域正在尝试与LLM结合，让AI生成代码同时生成形式化规约，再通过定理证明器（如Coq、Lean、Isabelle）验证
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/3
首次发现
有效期至：2026/12/2
来源
涉及实体
引用此条事实
Stable URI
https://kongchang.com/claim/851314API
curl https://kongchang.com/api/v1/knowledge/claims/851314MCP
get_claim(id=851314)