Anthropic用Claude验证123个开源库汇编层安全
热点事件持续更新
Anthropic用Claude验证123个开源库汇编层安全
1 篇报道1 个报道来源56 分钟前更新
先了解这件事
AI 综述
Anthropic称，其与Theorem合作，用Claude在RISC-V汇编层面对123个OSS-Fuzz开源库的239个入口点完成形式化证明，证明任意小于64 MB的输入都不会触发崩溃。 这些证明目前假设程序是在Linux上运行的单线程静态二进制、内存预算固定；Anthropic只公开了部分证明供他人验证和复用，可能暴露未修补漏洞的证明未发布。Theorem称可为其他开源项目运行同一流程，并发布Claude skill供开发者验证自己的代码。
AI 根据报道生成 · 45 分钟前更新
最新进展10月23日 06:54
Anthropic 用 Claude 在汇编层完成 123 个开源库的形式化验证报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- Hacker News精选Anthropic 用 Claude 在汇编层完成 123 个开源库的形式化验证
Anthropic 与 Theorem 合作，用 Claude 对 123 个 OSS-Fuzz 开源库的 239 个入口点完成 RISC-V 汇编层的形式化证明，证明任意小于 64 MB 的输入都不会触发崩溃。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。