Mathematics is machine verifiable, meaning you can automate RL at high volume.