As pessoas perdem o ponto principal - Claude de hoje encontrou problemas críticos em poucos minutos. Qualquer um que amanhã correr por uma semana encontrará mais. Os bugs nunca acabam e a codificação de IA introduz mais. A única maneira de parar esta perseguição é a verificação formal.