1. Claude proves security properties across 123 software libraries
Anthropic and Theorem used Claude to produce machine-checked formal proofs for security properties across 123 open-source libraries, covering 239 fuzz-test entry points at the RISC-V assembly level. The work also found and patched bugs that had survived extensive testing. It does not prove the libraries bug-free, but shows AI-assisted verification moving from isolated demonstrations toward repeatable production-scale workflows.
Leave a comment