RISC-V
1 article tagged with RISC-V
October 23, 2026
researchAnthropic
Anthropic Says Claude Proved Security Properties for 239 Entry Points Across 123 Libraries
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.