Anthropic hat Claude eingesetzt, um formale Verifikationsbeweis für 123 Open-Source-Bibliotheken zu generieren – insgesamt rund 180 Millionen Zeilen automatisch erstellten Beweiscode. Das Modell hat dabei tatsächlich Sicherheitslücken und Fehler gefunden, die in jahrelangem klassischen Testing nicht aufgefallen waren. Das Projekt zeigt, wie KI-Modelle die Softwareentwicklung automatisieren könnten, indem sie mathematische Sicherheitsnachweise praktikabel machen – ähnlich wie heute Standard-Testverfahren. Dies ist ein Fortschritt, der nicht nur die Code-Qualität verbessern könnte, sondern auch zeigt, wie KI-Systeme nun an sehr anspruchsvollen, formalen Aufgaben arbeiten.
