Well problematic because they are using their own verifier as apanem of experts, with their own model trained specifically to satisfy this verifier. On the benchmark runs, they dont mention using human experts to cross validate their scores.

I assume they use self-verification only during RL training to provide the reward signal, but not for benchmarks.