Anthropic 在 Frontier Red Team 博客发布研究，介绍用 Claude 大规模进行形式化验证的方法。与 Theorem Labs 合作，团队在数周内为超过一百个真实开源库证明了安全属性，突破了形式化验证过去仅适用于小型代码库或需大量专家人工的限制。全文见 https://www.anthropic.com/research/formal-verification。 🔗 阅读原文 via AIHOT · https://aihot.news/items/a0e6wk9v2dt62mogoqlbzc9dh
信息源：AI HOT · 全部动态
- 原文链接：Anthropic 发布博客：用 Claude 大规模形式化验证开源软件安全性
- 分类：论文
- 作者：Anthropic
- 发布时间：2026/10/23 06:01
评论0