待验证50% 置信概念精确时间
不可判定（undecidable/indeterminate）在此处指在当前给定信息下无法唯一确定忠实性的情形，正确地输出「不可判定」往往比给出一个碰巧正确的猜测更有价值。
1
来源数
50%
置信度
长期有效
时效性
2026/10/14
首次发现
来源
涉及实体
相关事实
待验证不可回答状态（Unanswerable）指所需证据根本不存在于检索结果中，正确做法是直接弃权77% 相似待验证使用错误的默认能力声明值会掩盖真实情况导致难以复现的错误，而 unknown 是明确的语义状态可供调用方降级处理73% 相似待验证如果忠实性无法被可靠评估，自动形式化的产出就无法被信任，下游的定理证明与数学推理也会继承这些隐性错误。73% 相似待验证作者的核心结论是：SynthID 检测中正面结果可信度高，负面结果只能视为「未知」；将「未检测到」解读为「真实」是常见的逻辑谬误。71% 相似已验证形式化验证只能保证推理链条内部的自洽性，无法自动判断被证明的命题是否与原猜想在语义上完全等价70% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1023635API
curl https://kongchang.com/api/v1/knowledge/claims/1023635MCP
get_claim(id=1023635)