AgentsNEWSoftware securityTestingHuman in loop: unclear
Anthropic: Claude proved 239 entry points in 123 open-source libraries never crash
Anthropic says Claude, working with Theorem, proved fuzz-test entry points across 123 OSS-Fuzz libraries never crash on inputs up to 64 MB, under stated RISC-V and Linux assumptions, patching bugs it found on the way.
Why it matters: Anthropic says the Rocq checker verifies the proofs, so almost none need manual review. That could make proven security guarantees affordable for ordinary libraries.
From Drop #041 · Fri, Oct 23 · Morning