Using specialized components to actively test and challenge generated proofs, looking for errors or gaps rather than passively accepting outputs.