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