Claude finds bugs that survived trillions of tests in open-source software
Anthropic used its Claude model with software verification firm Theorem to formally verify 123 open-source libraries. The work uncovered hundreds of bugs that had escaped years of automated testing and produced mathematical proofs for 239 program entry points.
