A IA está escrevendo uma parcela crescente do software mundial. Ninguém está verificando formalmente nada disso. Novo ensaio: "Quando a IA Escreve o Software do Mundo, Quem Verifica?"