Unverified50% confidenceBenchmarkExact time
Under a 15-minute time limit per problem, the proof agent achieved a successful proof rate of 34.9% (157/450) on StochBench.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/11/2026
First Seen
Valid until: 12/10/2026
Sources
Related Entities
Related Claims
UnverifiedBullet 在 SWE-bench Verified 基准测试中取得 95.8% 的成绩，位列前三，平均每个任务耗时 119 秒64% similarUnverified根据基于Steam成就解锁率的统计研究，大多数RPG游戏的最终章节成就解锁率仅有15%-30%62% similarUnverifiedExperiments found that the task_score under the shaped reward configuration was only 0.125, compared to 0.417 for the naive reward configuration, with an effect size of d=4.47.62% similarUnverifiedIn tests covering context lengths of 512–4096, increasing the draft length from 4 tokens to 16 tokens resulted in only a 0.2%–1.3% increase in overall inference latency.61% similarUnverifiedAt a draft length of 15 tokens, DSpark's efficiency gains in math, code, and dialogue scenarios reached 30%, 26%, and 22% respectively.60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/893439API
curl https://kongchang.com/api/v1/knowledge/claims/893439MCP
get_claim(id=893439)