Du skulle tro at AI-revisjon er trivielt. Bare beskjær søkeområdet fra alle retninger til bare reelle sårbarheter gjenstår. Men det er et stort designrom i hvordan du beskjærer og hvordan du representerer det som blir resonnert om.