AI Matters
Why it matters
Anthropic uses Claude to automatically prove code security
The Decoder Anthropic's Claude now writes code and proves it safe automatically
Anthropic used Claude to generate mathematical proofs for 123 open-source libraries, discovering previously undetected software bugs.
Why it matters
Software developers can automatically verify code correctness, fixing hidden bugs before software reaches production.
Latest brief · Oct 28, 2026