热点事件观察中
Anthropic联合Theorem用Claude完成开源库形式化安全证明
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年10月22日，AIHOT报道指出，Anthropic与Theorem建立合作关系，利用Claude模型对Google OSS-Fuzz项目中的123个开源库进行了深度安全分析。此次工作聚焦于RISC-V架构，成功完成了汇编层面的形式化安全证明，覆盖范围包括这123个库中的239个入口点。该进展标志着在利用大语言模型辅助软件供应链安全验证方面取得了具体成果，实现了从源代码到汇编级形式化验证的跨越。
AI 根据报道生成 · 3 小时前更新
最新进展10月22日 00:00
Anthropic与Theorem合作，利用Claude完成123个开源库239个入口点的RISC-V汇编级形式化安全证明。报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- AIHOT · AI 精选精选Anthropic 联合 Theorem 用 Claude 对 123 个开源库完成汇编级形式化安全证明
Anthropic 与 Theorem 合作，利用 Claude 对 Google OSS-Fuzz 中 123 个开源库的 239 个入口点完成了 RISC-V 汇编层面的形式化安全证明。
本事件热度走势
当前热度 4·可比范围峰值 4（10月23日 07:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。