Anthropic's Claude now writes code and proves it safe automatically
- Anthropic Claude: 17 events in the last 90 days
- Previous: 10 days earlier · Anthropic's Claude AI submitted false murder tip to Philadelphia police
What happened
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.
Summary assembled by rule from the sources below