亚马逊云科技推出两种新模式，自动化优化 Bedrock 策略

AWS宣布为Amazon Bedrock Guardrails的Automated Reasoning检查推出自动策略优化功能，该功能利用形式验证来证明答案的正确性。优化引擎会诊断失败的测试，并以形式逻辑提出修复建议，用户必须批准每一项更改。现已推出两种新模式：迭代优化（Iterative Refinement）用于处理规则问题，即逻辑错误但翻译正确的情况；以及模糊变量优化（Ambiguous Variable Refinement）用于处理语言问题，即因变量描述模糊或定义重叠而导致的TRANSLATION_AMBIGUOUS结果。这两种模式均遵循异步API工作流程（启动、轮询、检索）和控制台工作流程。迭代优化会获取当前策略、源文档以及可选的反馈；它提出规则或变量的更改，并在内部迭代直至收敛。模糊变量优化则提出更清晰的变量描述，并可能合并重叠的变量。该功能现已可在Amazon Bedrock中使用，用户可以在审阅屏幕上接受或放弃建议的更改。