快讯事件 · 1 条来源
OpenAI数学问题开源为RL环境，Ofir Press推测其借Lean形式化规模化构建
Adithya S K表示，OpenAI数学问题现已开源为强化学习环境。Ofir Press推测，OpenAI或为数学问题创建了大量带Lean形式化的RL环境：起初手工构建较简单的环境，待模型能自主创建环境后，再基于arXiv论文扩展问题数量。
全部来源
前后事件
相关事件
Cloudflare发布新模型clef-omni
据推文，Cloudflare发布了新的clef系列模型，Hugging Face页面显示项目名为Cloudflare/clef-omni。正文未提供更多模型细节。
Cloudflare发布clef-omni多模态模型，clef速度提升约2倍
据michelle发布的推文，Cloudflare推出多模态模型clef-omni，支持音频、视频、图像和文本输入；同时clef-flash价格已低于jev，clef整体速度提升约2倍。该消息经ClementDelangue转发。
Remi Fabre展示Microduck情绪功能早期设计，对比仿真与实体机器人表现
Remi Fabre表示已重新拿到Microduck机器人，得以回放情绪并对比仿真与实体的表现；其称目前仍为早期设计，还有很大提升空间。相关代码托管于pollen-robotics的microduck_emotions仓库。
Matthieu Lapeyre：Microduck以定制主板解决原型过热降频问题
Matthieu Lapeyre介绍，Microduck此前基于Radxa的原型存在热管理问题，运行仅20分钟就会降频并过热关机；团队通过新的定制主板解决了该问题，并让Microduck漫游以测试实际续航。ClementDelangue转发并评论"love the building in public"。
TRL v1.15发布：默认启用融合LM头，最长训练序列最高提升6.9倍
TRL v1.15发布，SFT、DPO、KTO、GRPO、RLOO和蒸馏默认启用融合LM头：通过Triton内核直接计算token级量，避免实例化巨大的[batch, seq, vocab] logits张量。以Gemma 3 1B（262k词表）为例，相同GPU下各算法最大序列长度最高提升6.9倍，8k上下文峰值显存降低52-82%，训练速度最高快约11%。发布方Lysandre表示，此优化无需额外启用，已是v1.15默认行为；该版本还包含SFT选择性激活检查点、视觉数据集assistant-only loss等更新。