AWS is employing what it calls Amazon Reasoning Checks, an AI tool grounded in mathematical proofs, to cut down on AI ...