事件追踪已归档

Anthropic称用Claude验证上百开源库

首次报道 10-23最新进展 10-231 篇报道，1 个来源

事件综述根据 1 篇报道整理，10月23日更新

Anthropic 在 Frontier Red Team 博客中称，与 Theoremlabs 合作，用 Claude 在数周内为一百多个真实开源库证明了安全属性。这一说法来自 Anthropic 自身发布的研究介绍，报道未提及这些验证结果是否经过独立复核，也未说明具体涉及哪些库和哪些安全属性。

综述由模型根据报道生成，细节以各篇原文为准。

北京时间，最早在上

1 篇，点开看摘要

10-23 06:01Anthropic 用 Claude 对上百个开源库完成形式化验证Anthropic开放代码未入选

Anthropic 在 Frontier Red Team 博客中介绍，与 Theoremlabs 合作使用 Claude 在数周内为一百多个真实开源库证明安全属性。