Mistral 发布开源 Lean 4 证明智能体 Leanstral
Mistral 发布 Leanstral，据称是首个面向 Lean 4 的开源代码智能体，权重以 Apache 2.0 许可开放，并提供 Mistral Vibe 集成与 labs-leanstral-2603 免费 API 端点。
#开源/仓库
Mistral AI：NewsAI 评分5959
OpenAI：官网动态AI 评分5151 OpenAI 发布 Gym Retro 完整版，游戏数量扩至超过 1000 款
OpenAI 发布强化学习游戏研究平台 Gym Retro 的完整版，公开游戏数量从约 70 款 Atari 游戏和 30 款 Sega 游戏扩展到涵盖多种模拟器的超过 1000 款游戏，同时开源了用于向平台添加新游戏的工具。
OpenAI：官网动态AI 评分5555 OpenAI 开源 RL-Teacher，用人类反馈替代手工设计的奖励函数
OpenAI 开源 RL-Teacher，这是其通过偶尔的人类反馈而非手工设计奖励函数来训练 AI 的接口的开源实现。该技术最初作为迈向安全 AI 系统的一步而开发，也适用于奖励难以指定的强化学习问题。
OpenAI：官网动态AI 评分4747 OpenAI 开源 Baselines：发布 DQN 及其三个变体
OpenAI 开源内部项目 OpenAI Baselines，目标是以与已发表结果相当的性能复现强化学习算法。首批发布 DQN 及其三个变体，其余算法将在未来数月内陆续放出。
OpenAI：官网动态AI 评分4141 OpenAI 发布 Roboschool：集成 OpenAI Gym 的开源机器人仿真软件
OpenAI 发布 Roboschool，一款用于机器人仿真的开源软件，并已集成到 OpenAI Gym 中。