待验证50% 置信预测精确时间

StochBench的发布标志着形式化数学基准测试进入垂直细分的新阶段

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/11

首次发现

有效期至：2026/12/10

来源

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

涉及实体

StochBenchproduct

相关事实

待验证StochBench是一个专门针对随机过程领域的Lean 4基准测试集68% 相似待验证研究团队使用基于Opus 4.8的智能体对StochBench进行了系统测试61% 相似待验证梯度检验用数值方法(f(x+ε)-f(x-ε))/(2ε)近似计算梯度，与解析梯度对比以确保反向传播代码正确性57% 相似待验证测试金字塔底层为单元测试（毫秒级、数量最多），中层为集成测试（秒级），顶层为端到端测试（分钟级、数量最少）56% 相似待验证markers 分类体系的理论基础是 Mike Cohn 提出的测试金字塔模型，从底部到顶端分为单元测试、集成测试、端到端测试三层55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/893444

API

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

MCP

get_claim(id=893444)