Can AWS really fix AI hallucination? We talk to head of Automated Reasoning Byron Cook

Engineer who works on ways to prove that code is mathematically correct finds his field is suddenly much less obscure

Interview  A notable flaw of AI is its habit of "hallucinating," making up plausible answers that have no basis in real-world data. AWS is trying to tackle this by introducing Amazon Bedrock Automated Reasoning checks.…