Titre original (traduit automatiquement) : 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. Along the way, it found bugs that had eluded detection for years.
Source originale
anthropic.com
CORTEX