Claude Wrote 180 Million Lines of Proofs Across 123 Open-Source Libraries. Here’s What It Does and Doesn’t Mean
Anthropic and Theorem used Claude to write machine-checked proofs that 239 fuzz-test entry points across 123 open-source libraries in Google’s OSS-Fuzz can’t crash, for any input…