Formal verification goes to scale: Claude proves code properties across 123 libraries

Claude proved security properties in the compiled code of 123 open-source libraries and found bugs in them that had gone undetected for years.