A IA está a escrever uma parte crescente do software do mundo. Ninguém está a verificar formalmente nada disso. Novo ensaio: "Quando a IA escreve o software do mundo, quem o verifica?"