Je zou denken dat AI-auditing triviaal is. Snoei gewoon de zoekruimte vanuit alle richtingen totdat alleen echte kwetsbaarheden overblijven. Maar er is een enorme ontwerpruimte in hoe je snoeit en hoe je vertegenwoordigt waarover wordt geredeneerd.