Efficient Scalable Oversight via Rewinding.

arXiv:2610.40535v1 Announce Type: new Abstract: Scalable oversight asks how a weak verifier can check the outputs of computations performed by more powerful AI systems. One proposed approach uses relativizing interactive proofs, in which a weak verifier checks