Generative KI-Systeme erzeugen oft unsichere Hardware-Designs: Eine Analyse mit formaler Verifikation

Etwa 60% der von KI-Systemen generierten Hardware-Designs enthalten Sicherheitslücken, die durch formale Verifikation identifiziert werden können.