아마존웹서비스(AWS)가 대규모 언어모델(LLM)의 환각 현상으로 인한 사실 오류를 수학적으로 검증하고 방지할 수 있는 ‘자동추론 검사(Automated Reasoning checks)’ 기능을…