待验证50% 置信事实精确时间

官方称成功证明无崩溃的覆盖123个不同的OSS-Fuzz库，覆盖239个入口点。

1

来源数

50%

置信度

短期 (~14 天)

时效性

2026/10/24

首次发现

有效期至：2026/11/7

来源

Anthropic研究：LLM让形式化软件验证规模化成为可能

bilibilimo2cc2026/10/24

涉及实体

Anthropiccompany OSS-Fuzzconcept

相关事实

待验证A100有108个SM，H100有132个SM，B200有192个SM54% 相似待验证官方迷宫为16x16共256个单元格，每个迷宫单元格边界为180mm54% 相似已验证Llama 3 8B有32层、8个KV头（GQA架构，查询头32个）、头维度128，8192上下文FP16单序列下KV缓存约1.07GB50% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1092429

API

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

MCP

get_claim(id=1092429)