Claude produced no-crash proofs for 239 test entry points across 123 libraries, Anthropic and Theorem report; guarantees cover single-threaded RISC-V binaries and inputs under 64MB, not every bug.

Anthropic’s original technical animation shows code compiled to RISC-V, a no-crash specification, Claude-written Rocq proof and trusted proof checker.

Published 22 Oct 2026 · 22:44 UTC

Anthropic / Theorem ↗ · Source dated 22 Oct 2026

Browse all Live updates · Read Features