待验证50% 置信事实精确时间
描述生成智能体基于 grounded 假设生成最终的自然语言描述，假设已经过证据校验。
1
来源数
50%
置信度
长期有效
时效性
2026/11/3
首次发现
来源
涉及实体
相关事实
待验证在自然语言处理领域，事实一致性通常通过自然语言推理（NLI）或蕴含关系判断来建模，将原始文献视为前提，摘要陈述视为假设73% 相似待验证语言模型存在产生幻觉的固有倾向，可能生成看似合理实则包含逻辑漏洞的证明步骤，因此将AI输出与形式化验证工具结合是确保数学正确性的关键路径72% 相似待验证合成数据审核中的'残留的推理痕迹'指生成模型在输出最终答复前附带的多余思考过程、草稿式分析或中间推导文本；'角色泄露'指对话中暴露出本应隐藏的设定信息，例如模型自称是 AI 助手、提及 personas 配置、或把系统提示内容直接复述给用户。72% 相似待验证自动可解释性指用另一个语言模型为神经元或特征生成自然语言解释，再以模拟激活预测的准确率打分。72% 相似待验证该证明智能体采用大语言模型与形式化验证器交互的架构：LLM生成证明策略序列，Lean编译器实时验证每一步推理，失败时根据错误信息调整，形成生成-验证-修正的闭环72% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1129139API
curl https://kongchang.com/api/v1/knowledge/claims/1129139MCP
get_claim(id=1129139)