Claude formal verification at scale: Frontier Red Team + Theorem Labs prove 100+ open-source libraries

status: open, opened 2026-10-22, last moved 2026-10-22. AI social anthropic research safety

• 2026-10-22 (~6:01 PM ET — https://x.com/AnthropicAI/status/2113390212911083894): Anthropic's Frontier Red Team blog, "using Claude to formally verify software at large scale," in collaboration with Theorem Labs: security properties proven in over one hundred real-world open-source libraries over a span of a few weeks, against the framing that formal verification "historically has only been feasible for small codebases (or required a lot of expert time)" and that "with AI models... this is beginning to change" — full research at anthropic.com/research/formal-verification. Debut thread: the record's first formal-verification storyline, pointing the agent-security record's newest arrow at proving agent-era code correct rather than catching or fencing the agents themselves. Vendor-published research with a named collaborator; which libraries and which properties are not in the capture.