Claude wrote 180 million lines of proof code and found bugs years of testing missed
Anthropic and Theorem used Claude to generate 180 million lines of proof code across 123 libraries, catching hundreds of bugs that years of conventional testing had missed.