Die Leute übersehen den Hauptpunkt - Claude von heute hat in wenigen Minuten kritische Probleme gefunden. Jeder, der morgen eine Woche lang sucht, wird mehr finden. Die Bugs sind endlos und das Programmieren mit KI führt zu noch mehr. Der einzige Weg, diese Jagd zu stoppen, ist die formale Verifikation.