Security & Privacy
·
4 min read
Anthropic and Theorem Use Claude to Generate Machine-Checkable Security Proofs for 123 Open-Source Libraries
Anthropic and Theorem published results showing Claude generated machine-checkable formal security proofs for 123 open-source libraries — the first large-scale AI deployment for software formal verification.
2h ago