待验证50% 置信基准精确时间
在 MathlibMPR 基准上，LeanGraphSearch 对完整标注证明路径的覆盖额外增加了最多 3.7% 的问题组。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
待验证Elasticsearch 虽支持动态映射，但当同一字段在不同日志中以不同类型写入时会触发 mapping conflict 错误，甚至导致数据丢失60% 相似待验证在多步骤工具调用链条中，错误可以在推理节点间传递和放大，使问题的溯源变得困难56% 相似待验证LeanGraphSearch 的核心判断是：证明发现本质上是一个结构感知的搜索问题，而不仅是文本相似度排序问题。55% 相似待验证偏移量的可靠性取决于tokenizer与字符索引的映射方式，若返回token索引而非字符索引则需要额外对齐步骤，尤其在多字节字符场景下。55% 相似待验证GraphEcho 在保持证据内容固定不变的前提下，系统性地改变路径数量和证据来源两个维度53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1042031API
curl https://kongchang.com/api/v1/knowledge/claims/1042031MCP
get_claim(id=1042031)