跳到正文

公司与机构

Anthropic / Claude 最新动态

Anthropic 的 Claude 系列、企业产品与安全研究，以及公司融资和治理动向。

1 条研判近 30 天 1 条共收录 11 条

更新

Anthropic / Claude的精选

10月23日周五第 1–1 条
  1. Anthropic

    Anthropic 在 Frontier Red Team 博客中介绍，与 Theoremlabs 合作使用 Claude 在数周内为一百多个真实开源库证明安全属性。Anthropic 称形式化验证过去只适用于小型代码库或需大量专家时间，AI 模型正开始改变这一状况。完整研究见 https://www.anthropic.com/research/formal-verification。

    研判 若该方法可复现，形式化验证的适用范围可能从少量小规模代码库扩展到上百个真实开源库，降低对专家人力的依赖。