Claude now writes and verifies code, generating 180 million lines of proofs for 123 open‑source libraries. The model automatically detects bugs that traditional testing missed, turning formal verification into routine AI‑driven safety. This advance could streamline safety checks for large codebases, reducing manual effort and improving reliability.
Opening Kapyn…