AWS推Bedrock Guardrails推理檢查，以形式化驗證降低AI幻覺

AWS宣布Bedrock Guardrails中的自動推理（Automated Reasoning）檢查功能正式上線，官方表示，這項功能運用數學邏輯與形式化驗證技術，能將大型語言模型生成內容與既定政策或領域規範進行對照，驗證準確率可達99％。