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

论文通过理论驱动的模拟和现代语言模型上的受控事实注入探针两类方式验证理论预测

1

来源数

50%

置信度

长期有效

时效性

2026/9/14

首次发现

来源

压缩的代价：事实幻觉背后的率失真极限

涉及实体

controlled fact-injection probesconcept

相关事实

待验证该证明智能体采用大语言模型与形式化验证器交互的架构：LLM生成证明策略序列，Lean编译器实时验证每一步推理，失败时根据错误信息调整，形成生成-验证-修正的闭环75% 相似待验证大语言模型在数学推理、定理证明和形式化验证方面展现出越来越强的能力75% 相似待验证推测解码实现需要在草稿模型的推理速度和预测准确率之间找到平衡点72% 相似已验证投机解码用一个小型快速的草稿模型先行预测多个token，再由大模型一次性并行验证72% 相似待验证模型在被要求验证自己的推理步骤时，会对已生成内容产生'确认偏误'72% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/919755

API

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

MCP

get_claim(id=919755)