Anthropic and Theorem: Claude proves 239 open-source entry points crash-free in Rocq
Anthropic says Claude wrote machine-checked proofs for 123 open-source libraries in a few weeks and found hundreds of bugs, a claim that formal verification can now scale; the authors list the limits.
audiotale.net team7 min read