待验证50% 置信事实精确时间

形式化本身只能保证内部一致性，无法保证与原始自然语言意图相符，因此翻译忠诚度是流水线可信度的关键前提。

1

来源数

50%

置信度

长期有效

时效性

2026/10/15

首次发现

来源

超越LLM Judge：机械验证如何提升Agent自动形式化可靠性

rss2026/10/14

涉及实体

自动形式化concept

相关事实

待验证自然语言的歧义、隐含前提、上下文依赖未必都能被干净地映射为一阶逻辑，是该架构的翻译边界挑战71% 相似待验证由于语言间语义差异（数值精度、字符串编码、空值语义、字典键类型等），完全透明的跨语言变量共享在理论上不可能做到100%无损64% 相似待验证大语言模型的输出天然具有看起来合理的特性（fluency bias流畅性偏差），即便推理链条出错，生成的自然语言仍然语法正确、语气自然，使传统的基于输出格式或异常捕获的监控手段失效63% 相似待验证形式化验证能剔除自然语言论证中常见的模糊地带，使AI生成证明的可信度显著提升63% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1037936

API

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

MCP

get_claim(id=1037936)