AWS, AI 출력의 수학적 확실성을 위한 자동 추론 검사 서비스 도입 | OKKY