Claude proves security properties of 123 open source libraries
Anthropic and the startup Theorem used Claude to write machine checked proofs that fuzz test entry points in 123 open source libraries cannot crash on any input below 64 MB, proven on the compiled RISC-V code itself. Along the way Claude found bugs that years of fuzzing had missed. Here is how it works, what was actually proven and where the limits are.