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.

This update bears on 5 kinds of work in 4 markets. Highest level accepted: L2 Partial automation.

Highest accepted

L2Partial automation

Work

5

Markets

4

Views

150K

The work it bears on

Highest level first. Open a kind of work to see everything else that moved it.

• L2Partial automation
  Assess practical performance and occupational competenceVocational skills and practical training
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only
• L2Partial automation
  Develop algorithms and study computational propertiesComputing and engineering research
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only
• L2Partial automation
  Build research prototypes and run comparative experimentsComputing and engineering research
  L2 Partial automationFrom the publisher only
• L2Partial automation
  Review code configuration and access permissionsCybersecurity and privacy engineering
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only
• L2Partial automation
  Run automated and exploratory testsSoftware testing and defect analysis
  L2 Partial automationClaimed L3 · Accepted L2From the publisher only

Published at