La IA está desarrollando una cuota creciente del software mundial. Nadie está verificando formalmente nada de eso. Nuevo ensayo: "Cuando la IA escribe el software del mundo, ¿quién lo verifica?"