Anthropic says Claude proved security properties in 123 open-source libraries

Anthropic says Claude produced formal proofs for 123 open-source libraries and uncovered bugs that had evaded detection for years. (Read More)

​