Anthropic and Theorem use Claude to verify security properties in 123 software libraries

Anthropic and Theorem reported using Claude to generate formal proofs for security properties in 123 open-source software libraries, working from executable artifacts at the RISC-V assembly level. The proofs establish that, under specified assumptions,…