Die jüngsten Entwicklungen bei Anthropic zeigen, dass das KI-Modell Claude in der Lage ist, mathematische Beweise zu generieren, die die Korrektheit bestehenden Codes bestätigen. In diesem Prozess wurden rund 180 Millionen Zeilen Beweiscode für 123 Open-Source-Bibliotheken erstellt. Bemerkenswert ist, dass Claude Fehler entdeckte, die selbst jahrelange Tests nicht aufgedeckt hatten. Das Ziel von Anthropic ist es, die formale Verifikation durch KI so alltäglich zu machen wie herkömmliche Tests. Diese Entwicklung könnte potenziell die Softwarequalität erheblich verbessern, wirft jedoch auch Fragen zur Zuverlässigkeit und den Grenzen der KI auf. Eine abschließende Bewertung ist zum jetzigen Zeitpunkt verfrüht, da es entscheidend sein wird, wie sich diese Technologie in der Praxis bewährt und welche regulatorischen Rahmenbedingungen sich entwickeln.