可验证性是零数据RL能够成立的关键前提，因为RL训练需要可靠的奖励信号，自生成任务若无法自动判定对错就无法提供稳定学习信号。