数学等可验证领域是 RL 爬坡主战场，可验证性决定进展速度

相比大多数其他领域，数学在大规模下更容易验证，因此数学等可验证领域成为当前 RL 爬坡的主战场，AI 多数进展正集中于此。可验证性差异正在塑造研究进展的分布。