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

Anthropic · 无日期 · 研究成果

> 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 部分自动化。

## 它涉及的工作

- [检查实操表现与职业能力](https://surviagi.com/zh-CN/work/education-vocational-training-competence-assessment)（职业技能与实操培训）：宣称 L3 · 采信 L2 · 仅来自发布方
- [提出算法并研究计算性质](https://surviagi.com/zh-CN/work/science-research-computing-engineering-algorithm-research)（计算机与工程技术研究）：宣称 L3 · 采信 L2 · 仅来自发布方
- [构建研究原型并开展对照实验](https://surviagi.com/zh-CN/work/science-research-computing-engineering-engineering-experiments)（计算机与工程技术研究）：L2 部分自动化 · 仅来自发布方
- [审查代码配置与访问权限](https://surviagi.com/zh-CN/work/software-cybersecurity-security-review)（网络安全与隐私工程）：宣称 L3 · 采信 L2 · 仅来自发布方
- [执行自动化测试与探索测试](https://surviagi.com/zh-CN/work/software-software-testing-test-execution)（软件测试与缺陷分析）：宣称 L3 · 采信 L2 · 仅来自发布方

## 发布于

- [来源 1](https://x.com/AnthropicAI/status/2113390212911083894)

---

页面：https://surviagi.com/zh-CN/updates/ev-7e5007b46f3c72083d8b5d36aafcb9bd55ded138

数据生成于 2026-10-23T00:15:12.374118+00:00；方法 activity-level-1；本体 2.4.0。
由机器提出：这些读数未经人工审核，方法也未经校准。
引用时请写页面地址和数据生成时间。