AWS、企業向け生成AIの安全性を数学的に保証する自動推論を導入 | KnowAI Space