Anthropic uses Claude with Theorem Labs to formally verify 100+ open-source libraries原文

Anthropic's Frontier Red Team reports that, with Theorem Labs, Claude proved security properties in over one hundred real-world open-source libraries over a few weeks.

这条更新涉及 4 条赛道的 5 项工作，最高采信到 L2 部分自动化。

最高采信

L2部分自动化

工作

5

赛道

4

浏览

15 万

它涉及的工作

级别高的在前。点开一项工作，查看推动它的其他更新。

• L2部分自动化
  检查实操表现与职业能力职业技能与实操培训
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方
• L2部分自动化
  提出算法并研究计算性质计算机与工程技术研究
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方
• L2部分自动化
  构建研究原型并开展对照实验计算机与工程技术研究
  L2 部分自动化仅来自发布方
• L2部分自动化
  审查代码配置与访问权限网络安全与隐私工程
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方
• L2部分自动化
  执行自动化测试与探索测试软件测试与缺陷分析
  L2 部分自动化宣称 L3 · 采信 L2仅来自发布方

发布于