The Decoder· Matthias Bastian·· 3 hsélectionAI Score78
Anthropic utilise Claude pour générer des preuves formelles et vérifier la sécurité du code
Anthropic's Claude now writes code and proves it safe automatically
AI Introduction
L'équipe Frontier Red Team d'Anthropic, avec le partenaire Theorem, a utilisé Claude pour générer environ 180 millions de lignes de code de preuve mathématique en quelques semaines.
Raison de la recommandation
L'article détaille les conditions auxquelles s'appliquent les preuves formelles générées par Claude et les limites de coût, ce qui permet de juger de la portée réelle de cette méthode.
Source :The Decoder · the-decoder.com