待验证50% 置信事实精确时间
372 个问题中大约一百多个提供了 Lean 形式化验证，其余只是声称证明成立
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/10/9
首次发现
有效期至：2026/10/23
来源
涉及实体
相关事实
待验证在检验的约 2,000 篇论文中，超过 1,100 篇论文至少有一个关键论断被独立验证，其中266篇被完全复现，632篇通过小规模实验部分复现，约4,000个独立论断得到确认69% 相似待验证在使用Traework完整模拟产品开发流程的测试中，工具在调研阶段检索了100多个来源，但经人工核验后真正可用的只有约40个，另外60个需要剔除或再查67% 相似待验证测试套件共10个，大多数各跑1000题，HumanEval为164题，TruthfulQA为817题65% 相似待验证作者用五份真实金融/支付文档和十个人工核验过的测试问题，对仅向量、仅BM25、无重排序的混合检索以及完整ReRankEval四种方案做了横向对比64% 相似待验证该测试样本规模相对有限（5个模型、13个代码库），结论有待更大规模验证64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/992670API
curl https://kongchang.com/api/v1/knowledge/claims/992670MCP
get_claim(id=992670)