LLMs are making formal software verification feasible at a much larger scale

LLMs are making formal software verification feasible at a much larger scale. Claude formally proved security properties in the compiled code of 123 open-source libraries and found bugs that had eluded detection for years.