AI verifiers range from Oracle types, relying on trust without proof, to self-verifying systems that constantly doubt actions for safety.