“A key hypothesis for advancing AI is that it is easier for a model to verify a correct solution than to generate one, enabling models to effectively evaluate their own outputs for reinforcement learning.”