Anthropic 用 Claude 对 100 多个开源库完成形式化验证

Anthropic 前沿红队与 Theorem Labs 合作，用 Claude 在数周内对 100 多个真实开源库的安全属性完成形式化验证。

内容详情 · 原文链接

via AI情报局 | 全球 AI 动态简报 - Telegram Channel