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

> Source: <https://the-decoder.com/anthropics-claude-now-writes-code-and-proves-it-safe-automatically/>
> Published: 2026-10-23 11:32:19+00:00

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).