Unverified50% confidenceFactExact time
Hyperresearch's tagline is "Durable, verified agentic search".
1
Sources
50%
Confidence
Long-term
Relevance
11/2/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 2022, Meta released HyperTree Proof Search, which for the first time demonstrated neural-network-guided theorem proof search capabilities.69% similarUnverifiedMeta's HyperTree Proof Search (HTPS) guides proof search in Lean via Monte Carlo tree search and successfully proved a large number of problems in the miniF2F benchmark automatically64% similarUnverifiedBrowseComp is a long-horizon web search agent evaluation benchmark proposed by OpenAI, with questions designed as obscure factual questions requiring multi-hop retrieval and cross-verification.63% similarUnverifiedThe fine-tuned search agent achieved measurable improvements in retrieval quality and reliability.62% similarUnverifiedResearchMaster 会跨越多个专业来源进行搜索，并将每一条主张（claim）与其证据来源保持链接60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1126763API
curl https://kongchang.com/api/v1/knowledge/claims/1126763MCP
get_claim(id=1126763)