AWS is banking on the fact that by bringing its Automated Reasoning Checks feature on Bedrock to general availability, it will give more enterprises and regulated industries the confidence to use and deploy more AI applications and agents. It is also hoping that introducing methods like automated reasoning, which utilizes math-based validation to determine ground truth, will ease enterprises into the world of neurosymbolic AI, a step the company believes will be the next major advancement — and its biggest differentiation. Byron Cook, vice president at AWS’s Automated Reasoning Group, told the preview rollout proved systems like this work in an enterprise setting, and it helps organizations understand the value of AI that can mix symbolic or structured thinking with the neural network nature of generative AI. Automated Reasoning Checks validates truth or correctness in an AI system by proving that a model did not hallucinate a solution or response. This means it could offer regulators and regulated enterprises worried that the non-deterministic nature of generative AI could return incorrect responses more confidence. Cook brought up the idea that Automated Reasoning Checks help prove many of the concepts of neurosymbolic AI. Automated reasoning works by applying mathematical proofs to models in response to a query. It employs a method called the satisfiability modulo theories, where symbols have predefined meanings, and it solves problems that involve both logic (if, then, and, or) and mathematics. Automated reasoning takes that method and applies it to responses by a model and checks it against a set of policy or ground truth data without the need to test the answer multiple times. Cook said that agentic use cases could benefit from automated reasoning checks, and granting more access to the feature through Bedrock can demonstrate its usefulness.