Anthropic's Claude now writes code and proves it safe automatically

Anthropic used Claude to generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries and catching bugs that years of testing had missed. Anthropic said its goal is making formal verification with AI as routine as standard testing.

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 https://the-decoder.com/anthropics-claude-now-writes-code-and-proves-it-safe-automatically/ appeared first on The Decoder https://the-decoder.com .