Neues auf unserem Frontier Red Team-Blog: die Verwendung von Claude zur formellen Überprüfung von Software in großem Maßstab.
Formale Verifizierung kann beweisen, dass der Code frei von bestimmten Fehlern ist, aber historisch gesehen war sie nur für kleine Codebasen erreichbar (oder erforderte viel Expertenzeit).
Mit AI-Modellen beginnt dies jedoch zu ändern. In Zusammenarbeit mit @theoremlabs nutzten wir Claude, um in wenigen Wochen die Sicherheitsmerkmale von über hundert echten Open-Source-Bibliotheken nachzuweisen.
Lesen Sie unsere Forschung vollständig hier: https://www.anthropic.com/research/formal-verification