Anthropic 与 Theorem 合作，用 Claude 将 OSS-Fuzz 模糊测试转化为规格，对 123 个开源库的 239 个入口点证明了任意 64 MB 以下输入不崩溃，生成约 1.8 亿行 Rocq 证明。 🔗 阅读原文 via AIHOT · https://aihot.news/items/jsr18rtgxl0kvb0k7np7lpyou
信息源：AI HOT · 精选
- 原文链接：Anthropic 用 Claude 对 123 个开源库完成汇编级形式化安全证明
- 分类：论文
- 作者：Anthropic：Research
- 发布时间：2026/10/22 00:00
评论0