I think about this has having two separate but related concerns; how do we build tools that focus attention on the parts of the problem where human judgement is highest leverage; and how do we build harnesses that enforce invariants such that humans trust the attention focussing part. It's a challenge!