Claude generated machine-checked security proofs across 123 open-source libraries
Anthropic and Theorem report that Claude produced formal security proofs at the RISC‑V machine-code level for 239 fuzz-test entry points across 123 open-source libraries.
2 min readRead story



