Anthropic rapporte utilisant Claude et Theorem pour prouver les propriétés de sécurité sélectionnées dans plus de 100 bibliothèques open source.
La recherche du 22 octobre concerne le code RISC-V compilé et les preuves vérifiées par machine. Ses garanties s'appliquent aux spécifications et hypothèses énoncées, plutôt qu'à tous les bugs possibles. Pour les équipes d’ingénierie, la distinction utile se situe entre tester des exemples et vérifier une propriété explicite : la spécification et l’environnement déployé doivent encore être révisés.
