Theorem

Anthropic published research on October 22, 2026, reporting that Claude produced machine-checked formal proofs of security properties at the RISC-V assembly level. The proofs cover 239 fuzz-test entry points across 123 open-source libraries, in a collaboration with Theorem.