Hugging Face 将 OpenAI 数学题转为开源 RL 环境

Hugging Face 把 OpenAI 的数学题转化为开源 RL 环境，发布在 Hugging Face 数据集 FineEnvs/openai-math 上。该版本尚处早期粗糙阶段，验证器只接受完全一致的原始形式化，等价证明仍可能得 0 分。其目标是把开放研究变成人人可构建的开放可执行环境，用于训练更好的开源模型。