L'AI sta scrivendo una quota crescente del software mondiale. Nessuno sta verificando formalmente nulla di tutto ciò. Nuovo saggio: "Quando l'AI scrive il software del mondo, chi lo verifica?"