Nouveau sur le blog Frontier Red Team : l’utilisation de Claude pour vérifier officiellement les logiciels à grande échelle.
La vérification formelle peut prouver que le code est exempt de certains bugs, mais historiquement, elle n’a été possible que pour de petits bases de code (ou nécessitait beaucoup de temps d’experts).
Avec les modèles d’IA, cependant, cela commence à changer. En collaboration avec @theoremlabs, nous avons utilisé Claude pour vérifier les propriétés de sécurité dans plus de cent bibliothèques open-source réelles au cours de quelques semaines.
Lisez notre recherche en entier ici : https://www.anthropic.com/research/formal-verification