OpenAI 的数学题在 Hugging Face 上成为开源强化学习环境

发生了什么

我们将 @OpenAI 的数学题做成了 @huggingface 上的开源强化学习环境！ 这些环境还处于早期阶段，尚不完善；验证器只接受原始形式化表述，因此即使证明等价，也仍可能得 0 分。 我认为这是一个令人振奋的方向：将开放研究转化为可执行环境，让任何人都能在此基础上训练更好的开放模型！ https://huggingface.co/datasets/FineEnvs/openai-math

这件事到目前为止

OpenAI 在 GitHub 上发布了 700 多份数学稿件，声称解决了数百个未解决的数学问题，引发研究人员审视，也促使人们尝试将这些问题转化为 Hugging Face 上的开源强化学习环境。据 The Decoder 报道，部分稿件已被撤回或遭批评，称其难以阅读；博客 Proofs and Prompts 收集了 100 多位研究人员的回应。数学家们表示震惊，并担忧自己的职业前景；菲尔兹奖得主 Peter Scholze 和 Terence Tao 则呼吁保持耐心、团结一致。 据 QbitAI 报道，Tao 认为 AI 正在让证明变得唾手可得，但他警告说，解决问题并不等于理解问题。他呼吁人们报告失败的尝试和计算成本，并表示，在他所说的“数学 2.0”中，想象力将成为瓶颈。 Clément Delangue 表示，他的团队已将 OpenAI 的数学问题转化为 Hugging Face 上提供的开源强化学习环境。他称这些环境仍处于早期阶段，较为粗糙：验证器只接受与原始形式化表述完全一致的内容，因此，即使证明等价，得分仍可能为零。

继续阅读

正在热议

1. 1Meta 开放发布 Muse Spark Open，支持 Mac 和云端部署，位居美国开放权重模型榜首
2. 2Google 在全球推出 Gemini 4 Argon，并扩大付费访问范围，基准测试结果不一
3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议