Claude liefert Sicherheitsbeweise für Code
Formale Verifikation per KI könnte zum Standardtest werden.
Gegenprüfung dieser Ausgabe: 2 Karten vor der Veröffentlichung korrigiert. Wie die Gegenprüfung arbeitet
Symbolbild, KI-generiert.
Anthropic ließ Claude laut The Decoder mathematische Beweise für die Sicherheit von 123 Open-Source-Bibliotheken erstellen, insgesamt rund 180 Millionen Zeilen Beweiscode. Dabei fand das Modell Fehler, die jahrelanges Testen übersehen hatte. Anthropic will formale Verifikation per KI künftig so praktikabel machen wie heutige Standardtests.
Die Belege
- Claude erstellte Beweise für 123 Open-Source-Bibliotheken mit rund 180 Millionen Zeilen Beweiscode.
- Das Modell fand dabei Fehler, die jahrelanges Testen übersehen hatte.
- Anthropic will formale Verifikation per KI so praktikabel wie heutige Standardtests machen.
Der Zusammenhang
Formale Verifikation beweist mathematisch, dass Code bestimmte Sicherheitseigenschaften erfüllt, gilt bislang aber als aufwendig. Anthropic testete den Ansatz an bestehenden Open-Source-Bibliotheken.
Warum das zählt
Für Entwicklungsabteilungen mit kritischer Open-Source-Nutzung könnte automatisierte formale Verifikation künftig Sicherheitsnachweise liefern, die heute manuell kaum wirtschaftlich leistbar sind.
Der Umfang von 180 Millionen Zeilen Beweiscode ist beachtlich, eine unabhängige Bestätigung der gefundenen Fehler und der Praxistauglichkeit steht noch aus.
IT-Sicherheitsverantwortliche sollten prüfen, für welche kritischen Open-Source-Komponenten formale Verifikation künftig infrage kommt.
Was diese Meldung nicht belegt: Welche Fehler konkret gefunden wurden, ist allein durch Anthropics eigene Angaben belegt.
Text KI-erstellt und am 24.10.2026 automatisch von einer zweiten KI-Instanz gegen den erfassten Quelltext geprüft, ohne Einzelfreigabe durch einen Menschen. Redaktionell verantwortlich: Ali Reza Karwandian. Fehler gefunden? Korrektur melden · Unsere Grundsätze