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)

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to Blockchain.News.