La gente no entiende el punto principal: Claude de hoy encontró problemas críticos en pocos minutos. Cualquiera que corriera mañana durante una semana encontrará más. Los bugs no terminan y la programación de IA introduce más. La única forma de detener esta persecución es mediante una verificación formal.