待验证50% 置信事实精确时间
Hyperresearch的标语是「Durable, verified agentic search」（持久、可验证的智能代理搜索）。
1
来源数
50%
置信度
长期有效
时效性
2026/11/2
首次发现
来源
涉及实体
相关事实
待验证2022年Meta发布了HyperTree Proof Search，首次展示了神经网络引导的定理证明搜索能力69% 相似待验证Meta的HyperTree Proof Search（HTPS）通过蒙特卡洛树搜索引导Lean中的证明搜索，成功自动证明了miniF2F基准测试中的大量问题64% 相似待验证BrowseComp是由OpenAI提出的长程网页搜索智能体评估基准，题目设计为需要多跳检索和交叉验证的冷门事实性问题。63% 相似待验证微调后的搜索智能体在检索质量和可靠性上取得了可测量的提升62% 相似待验证ResearchMaster 会跨越多个专业来源进行搜索，并将每一条主张（claim）与其证据来源保持链接60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1126763API
curl https://kongchang.com/api/v1/knowledge/claims/1126763MCP
get_claim(id=1126763)