AI
Anthropic's Claude AI Generates 180 Million Lines Of Code Proofs
Anthropic used its Claude models to mathematically verify existing open-source software, generating about 180 million lines of proof code and uncovering bugs conventional testing often misses, though the guarantees apply only under narrow conditions.
2 min read