Claude完成123个开源库汇编级验证
热点事件持续更新
Claude完成123个开源库汇编级验证
2 篇报道2 个报道来源2 小时前更新
先了解这件事
AI 综述
Anthropic Frontier Red Team与Theorem发布研究称，Claude在数周内为123个OSS-Fuzz开源库的239个入口点生成RISC-V汇编级形式化安全证明，覆盖约180万行Rocq；Claude还修复了发现的漏洞，并证明输入不超过64 MB时相关入口不会触发崩溃。 研究称，这是首次用AI在汇编级对生产软件开展大规模形式化验证，并称Claude发现了经数万亿次测试仍未暴露的漏洞。不过，该团队明确表示并非每个库的所有入口点都已验证，且现有ASan也无法覆盖全部内存安全缺陷。
AI 根据报道生成 · 13 分钟前更新
最新进展10月23日 06:01
Anthropic 用 Claude 为 100 多个开源库完成汇编级安全形式化证明报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- AGI HuntAnthropic 用 Claude 为 100 多个开源库完成汇编级安全形式化证明
Anthropic Frontier Red Team 与 Theorem 发布研究，利用 Claude 在数周内为 100 多个真实开源软件库编写 RISC-V 汇编代码层面的安全属性证明。研究称 Claude 还发现了经数万亿次测试都未暴露的 bug，并将形式化验证流程扩展到生产软件的较大规模验证。
10月22日
- AIHOT精选Anthropic 用 Claude 对 123 个 OSS-Fuzz 开源库完成汇编级形式化安全证明
Anthropic 与 Theorem 使用 Claude 为 123 个 OSS-Fuzz 开源库的 239 个入口点生成 RISC-V 汇编级形式化安全证明，覆盖约 1.8 亿行 Rocq。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。