#209093

I think even for explain-ability, just as other three points, these are general to all computer systems or SAT systems, and not at all particular to AI. AI makes it more complicated, but even without AI they don’t go away. It’s the first answer.