Can AWS Fix AI Hallucination? We Talk to Head of Automated Reasoning Byron Cook