
Anthropic and Theorem say Claude wrote 180 million lines of proofs verifying 123 open-source libraries
Anthropic and Theorem used Claude to formally verify existing software and found hundreds of bugs. The proofs hold only under strict conditions.
thelatentdaily.com Editorial Team3 min read
