Anthropic used Claude to generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code across 123 open-source libraries. The effort reportedly surfaced bugs that years of testing had missed. Anthropic's stated goal is to make AI-assisted formal verification as routine as standard testing.
It signals a concrete step toward automating formal verification, a capability that could change how software correctness is checked.
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries. Along the way, the model caught bugs that years of testing had missed. Anthropic's goal: making formal verification with AI as routine as standard testing.
The article Anthropic's Claude now writes code and proves it safe automatically appeared first on The Decoder.
Comments & Questions (0)
No comments yet
Be the first to comment!