待验证60% 置信事实精确时间
Meta的HyperTree Proof Search（HTPS）通过蒙特卡洛树搜索引导Lean中的证明搜索，成功自动证明了miniF2F基准测试中的大量问题
2
来源数
60%
置信度
中期 (~90 天)
时效性
2026/8/9
首次发现
有效期至：2026/11/7
来源
相关事实
待验证2022年Meta发布了HyperTree Proof Search，首次展示了神经网络引导的定理证明搜索能力78% 相似待验证AlphaProof等系统采用蒙特卡洛树搜索（MCTS）方法，将证明搜索建模为序列决策问题64% 相似待验证AlphaProof基于强化学习与形式化证明系统（Lean证明助手）的结合，通过蒙特卡洛树搜索等算法探索证明路径62% 相似待验证该研究建立在HTMP这一特定分布假设之上，真实网络权重谱是否严格符合该假设仍需更广泛实证检验61% 相似待验证检验微调对比研究是否存在偏差的标准是查看超参数搜索章节，确认每个对照组都有独立的学习率调优记录及足够多的随机种子重复61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/713771API
curl https://kongchang.com/api/v1/knowledge/claims/713771MCP
get_claim(id=713771)