AI skriver en växande andel av världens mjukvara. Ingen verifierar något av det formellt. Ny essä: "När AI skriver världens mjukvara, vem verifierar den?"