Code-Verifikation per KI: Anthropic nimmt die nächste Hürde der Software-Automatisierung

Anthropic hat Claude mathematische Beweise für die Sicherheit bestehenden Codes erstellen lassen: rund 180 Millionen Zeilen Beweiscode für 123 Open-Source-Bibliotheken. Dabei fand das Modell Fehler, die jahrelanges Testen übersehen hatte. Anthropic will formale Verifikation per KI bald so praktikab