Good points. Formal verification could close the trust gap. What happens when we are no longer capable of understand many of the machines' activities will be a

Good points. Formal verification could close the trust gap. What happens when we are no longer capable of understand many of the machines' activities will be another matter entirely.