La gente se pierde el punto principal: Claude de hoy encontró problemas críticos en unos minutos. Cualquiera que mañana corra durante una semana encontrará más. Los errores son interminables y la codificación de IA introduce más. La única forma de detener esta persecución es la verificación formal.