Research
Anthropic says Claude wrote machine-checked proofs that 123 open-source libraries cannot crash on their fuzz tests, working directly on compiled code
In a project with the verification startup Theorem, Anthropic had Claude produce Rocq proofs covering 239 fuzzing entry points in 123 OSS-Fuzz libraries at the RISC-V binary level, patching hundreds of bugs it hit along …