Ludzie pomijają główny punkt - Claude dzisiaj znalazł krytyczne problemy w kilka minut. Każdy, kto jutro będzie pracował przez tydzień, znajdzie więcej. Błędy są niekończące się, a kodowanie AI wprowadza jeszcze więcej. Jedynym sposobem na zatrzymanie tego pościgu jest formalna weryfikacja.