KI skriver en økende andel av verdens programvare. Ingen verifiserer formelt noe av det. Nytt essay: «Når AI skriver verdens programvare, hvem verifiserer den?»