Unverified50% confidenceFactExact time

研究团队使用基于Opus 4.8的智能体对StochBench进行了系统测试

1

Sources

50%

Confidence

Medium-term (~90 days)

Relevance

9/11/2026

First Seen

Valid until: 12/10/2026

Sources

StochBench：首个随机过程Lean形式化证明基准详解

Related Entities

Opus 4.8model StochBenchproduct

Related Claims

UnverifiedStochBench是一个专门针对随机过程领域的Lean 4基准测试集74% similar Unverified智能体评估基准测试套件包括GAIA、AgentBench和SWE-bench64% similar UnverifiedClaude Sonnet 4模型在编程基准测试SWE-bench上表现优异，SWE-bench由普林斯顿大学开发64% similar UnverifiedStaats在Product Hunt上被归类于分析（Analytics）、SaaS和人工智能三个赛道63% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/893438

API

curl https://kongchang.com/api/v1/knowledge/claims/893438

MCP

get_claim(id=893438)