AWS is making automated reasoning checks, a feature on Bedrock, generally available to customers to start proving truth in their AI systems.