Claude schreibt Sicherheitsbeweise für 123 Open-Source-Libraries

Anthropic und das Start-up Theorem richteten Claude auf mehr als 100 Open-Source-Bibliotheken und ließen es Sicherheitseigenschaften an deren kompiliertem RISC-V-Code beweisen, den Anweisungen, die der Chip tatsächlich ausführt, wie Anthropic schrieb. Dabei fand Claude Fehler, die jahrelange automatisierte Tests übersehen hatten.

The Decoder beziffert die Zahl auf 123 Bibliotheken aus Googles Sicherheitsprojekt OSS-Fuzz, mit rund 180 Millionen Zeilen Beweiscode, geschrieben in wenigen Wochen, und Claude habe Fehler, auf die es dabei stieß, gepatcht. Jeder Beweis läuft durch Rocq, einen Beweisprüfer, sodass Menschen laut Anthropic kaum hinsehen müssen. Die Werkzeuge und die formale Grundlagenarbeit stammen von Mitarbeitern von Theorem.

Claude Pro, Anthropics Bezahltarif für Einzelpersonen, kostet auf unserer Preisliste 20 $ pro Monat (gelesen am 23. Oktober 2026); diese Beweisarbeit lief im Forschungsteam von Anthropic mit den Werkzeugen von Theorem.

Weil Rocq jeden Beweis eigenständig annimmt oder ablehnt, beruht das Ergebnis auf diesem Prüfer und den Werkzeugen von Theorem statt auf dem Wort von Claude, was diese Arbeit von KI-geschriebenem Code abhebt, den Menschen weiterhin von Hand prüfen.