待验证50% 置信事件精确时间
2022年Meta发布了HyperTree Proof Search，首次展示了神经网络引导的定理证明搜索能力
1
来源数
50%
置信度
长期有效
时效性
2026/9/6
首次发现
来源
涉及实体
相关事实
待验证Meta的HyperTree Proof Search（HTPS）通过蒙特卡洛树搜索引导Lean中的证明搜索，成功自动证明了miniF2F基准测试中的大量问题78% 相似待验证腾讯混元团队与清华大学联合发布了DiscoBench，首个专门评测搜索代理动态歧义澄清能力的基准测试集60% 相似待验证微软研究院在2024年发表的GraphRAG相关论文验证了在处理需要跨文档推理的复杂问题时，图谱增强方法显著优于纯向量检索59% 相似待验证2016年发表于《美国国家科学院院刊》的研究首次系统验证了深度学习在植物病害诊断中的可行性，在受控条件下准确率超过99%59% 相似待验证AlphaProof基于强化学习与形式化证明系统（Lean证明助手）的结合，通过蒙特卡洛树搜索等算法探索证明路径59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/865856API
curl https://kongchang.com/api/v1/knowledge/claims/865856MCP
get_claim(id=865856)