The Decoder56m agoenergy 126
Anthropic's Claude now writes code and proves it safe automatically
image: The Decoder
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.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.