Anthropic's use of AI for rapid formal verification could democratize access to robust security proofs, reshaping software development norms. The post Anthropic uses Claude to prove security properties in 123 open-source libraries appeared first on Crypto Briefing.