OpenAI数学题转为Hugging Face开源强化学习环境

OpenAI数学题已被转化为Hugging Face上的开源强化学习环境，但验证器仅接受原始形式化，等价证明仍可能得0分。