Anthropic has used its Claude model to produce formal mathematical proofs that existing open-source code is correct, generating roughly 180 million lines of proof code for 123 libraries and uncovering bugs that years of conventional testing had missed.
Anthropic's Claude Generates 180 Million Lines of Proof Code for Open-Source Libraries
Anthropic has used its Claude model to produce formal mathematical proofs that existing open-source code is correct, generating roughly 180 million lines of proof code for 123 libraries and uncovering bugs that years of conventional testing had missed.
Monitoring item. The full text is not distributed. Extract and source below.