{"slug": "anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically", "title": "Anthropic's Claude now writes code and proves it safe automatically", "summary": "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.", "body_md": "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.\n\nThe 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).", "url": "https://wpnews.pro/news/anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically", "canonical_source": "https://the-decoder.com/anthropics-claude-now-writes-code-and-proves-it-safe-automatically/", "published_at": "2026-10-23 11:32:19+00:00", "updated_at": "2026-10-23 11:41:59.952109+00:00", "lang": "en", "topics": ["artificial-intelligence", "ai-research", "large-language-models", "ai-safety", "ai-tools"], "entities": ["Anthropic", "Claude"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically", "markdown": "https://wpnews.pro/news/anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically.md", "text": "https://wpnews.pro/news/anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically.txt", "jsonld": "https://wpnews.pro/news/anthropic-s-claude-now-writes-code-and-proves-it-safe-automatically.jsonld"}}