Macht AI Code weniger sicher? Das ist nicht unbedingt der Fall. Vibecoding und AI-Coding können mit formaler Verifikation kombiniert werden. Dies kann helfen, Fehler früher zu finden und zu garantieren, dass der Code das tut, was er tun soll, indem man formal überprüft, dass eine Implementierung die Spezifikation erfüllt.