Claude Just Proved 123 Code Libraries Can't Crash
Anthropic’s Frontier Red Team and verification startup Theorem report that Claude generated machine-checked formal proofs that 239 fuzz-test entry points across 123 open-source libraries cannot crash on inputs under 64 MB — including patching real bugs it found, among them a logic bug that had sat unnoticed for over a decade. Anthropic describes it as the first large-scale effort to use AI for formal verification of production software at the assembly-code level, and it is publishing a subset of the proofs on GitHub. ...