AWS's Byron Cook argues AI hallucinations should be governed, not eliminated, and makes the case for mathematical proof ...