software security

Claude rediscovered CVE-2026-56132 proving 123 libraries crash-free

Anthropic and Theorem used Claude to write formal proofs for 239 OSS-Fuzz entry points across 123 libraries, finding bugs trillions of fuzzing runs missed.