Why Amazon Is Betting on 'Automated Reasoning' to Reduce AI's Hallucinations

Also see: https://news.ycombinator.com/item?id=42952936