Anthropic Uses Claude to Prove Security Properties in 123 Libraries

Anthropic's Claude AI is now automating formal verification at the assembly level, securing 123 open-source libraries to eliminate critical software vulnerabilities.