AI brief
Anthropic had Claude generate mathematical proofs that existing code is correct, producing roughly 180 million lines of proof code for 123 open-source libraries, and the model caught bugs that years of testing had missed.
Why it matters: If the approach holds up, automated proof generation could verify software correctness at a scale manual methods cannot match.
Written by AI from The Decoder's published text.
Background
From our own funding, model and news trackers, not from the source.
Anthropic
- Latest funding
- Growth · $65B · 28 May 2026
- Newest model on the API
- Claude Haiku 5.5 · 7 Oct 2026 · $0.1 in / $0.5 out per million tokens
Source
“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.”
Reporting from a publisher outside the organisation being covered.
Read original story ↗