Man skulle kunna tro att AI-revision är trivialt. Beskär bara sökutrymmet från alla håll tills bara verkliga sårbarheter återstår. Men det finns ett enormt designutrymme i hur du beskär och hur du representerar det som man resonerar kring.