Anthropic用Claude形式化验证123个开源库无崩溃
热点事件观察中
Anthropic用Claude形式化验证123个开源库无崩溃
1 篇报道1 个报道来源2 天前更新
先了解这件事
AI 综述
Anthropic 与 Theorem 合作，用 Claude 将 OSS-Fuzz 项目中 123 个开源库的 239 个 fuzz 测试入口转化为形式化规范，并证明在给定条件下程序不会崩溃，生成约 1.8 亿行 Rocq 证明。验证对象是编译后的 RISC-V 汇编代码。 证明的条件有限制：假定程序以单线程静态二进制运行、内存预算固定、在 Linux 操作系统的 RISC-V CPU 上执行；规范针对的是小于 64 MB 的任意输入。Anthropic 称，可能暴露开源软件未修复漏洞的证明不会对外发布。
AI 根据报道生成 · 2 小时前更新
最新进展10月22日 00:00
Anthropic 用 Claude 对 123 个开源库完成汇编级形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- Anthropic Research精选Anthropic 用 Claude 对 123 个开源库完成汇编级形式化验证
Anthropic 与 Theorem 合作，用 Claude 将 123 个 OSS-Fuzz 开源库中 239 个 fuzz 测试入口转化为形式化规范并证明无崩溃，生成约 1.8 亿行 Rocq 证明，工作对象是编译后的 RISC-V 指令。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。