热点事件持续更新
Claude验证开源软件安全属性
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月23日，Hacker News首页报道称，Anthropic与Theorem使用Claude，对123个OSS-Fuzz开源库中的239个入口完成RISC-V汇编级形式证明，验证范围覆盖小于64 MB的输入；验证过程中发现并修复了数百个漏洞。报道未提及后续进展。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 06:54
Claude已完成239个开源库入口的RISC-V汇编级形式证明。报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Hacker News · 首页精选Anthropic 与 Theorem 用 Claude 大规模验证开源软件
Anthropic 与 Theorem 使用 Claude 对 123 个 OSS-Fuzz 开源库的 239 个入口完成 RISC-V 汇编级形式证明，覆盖少于 64 MB 的输入，并在过程中发现和修复数百个 bug。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。