Die Codegenerierung wächst exponentiell, aber die Verifizierung hat nicht Schritt gehalten. Dieses Unternehmen geht eines der schwierigsten Probleme in der modernen Softwaretechnik an: nachzuweisen, dass von KI geschriebener Code tatsächlich funktioniert.