Anthropic Says Claude Proved Security Properties 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 code level for 239 fuzz-test entry points across 123 open-source libraries, in a collaboration with Theorem. According to Anthropic, Claude patched the bugs it found and then proved the programs will always exit normally without triggering memory-safety errors or failing assertions, for every input under 64 MB and every modeled Linux…