顶尖形式化方法学者 TaliaRinger 担忧 RL 依赖保密专有数学数据集

形式化验证研究者 TaliaRinger 担忧，若 RL 训练依赖秘密、专有的形式化验证与形式数学数据集，社区封闭化趋势将进一步加剧。她认为，训练数据从公开学术资源转向厂商私有资产后，独立研究者将更难复现与审计模型能力。