open-source fuzzing

Anthropic's Claude can now automatically produce code and verify its safety.

Anthropic's Claude generated proofs for 123 open-source libraries, found rare bugs, and showed verification li…