数学等可验证领域为何成为 RL 爬坡主战场：可验证性决定进展速度

一名作者提出行业观察：相比大多数其他领域，数学在大规模下更容易验证，因此当前 AI 的多数进展集中在适合用 RL 迭代“爬山”的领域。可验证性的差异正在塑造 AI 研究进展的分布。