Anthropic berichtet, gemeinsam mit Theorem ausgewählte Sicherheitseigenschaften von über 100 Open-Source-Bibliotheken mit Claude bewiesen zu haben.
Die Forschung vom 22. Oktober betrifft kompilierten RISC-V-Code und maschinell geprüfte Beweise. Garantien gelten für die angegebenen Spezifikationen und Annahmen, nicht für alle denkbaren Fehler. Entwicklungsteams sollten Tests einzelner Beispiele von Eigenschaftsbeweisen unterscheiden und auch Spezifikation sowie reale Ausführungsumgebung prüfen.
