Microsoft Research 发布 Agent Lightning v1.0 轻量级 Agentic RL 框架
Microsoft Research Asia 发布并开源 Agent Lightning v1.0，一个约 3,500 行代码的轻量级 Agentic RL 框架，用于在真实 agent harness 中训练智能体。
推荐理由：原文展示了用真实 agent harness 参与 RL 训练的设计，可作为编码智能体训练流程的工程参考。
技术方向
开源生态 最新动态
开源模型、框架与仓库动态：权重开放、社区项目爆火、开源与闭源的力量消长。
4 条精选近 30 天 4 条共收录 15 条
更新
开源生态的精选
Microsoft Research精选AI 评分7676
量子位精选AI 评分8686 OpenAI 公开 722 篇未发布内部模型生成的数学手稿
OpenAI 公开 722 篇数学手稿，全部出自一个尚未发布的内部模型，归成 372 组结果，并上传论文、源码和部分 Lean 证明到 GitHub。材料称这些结果覆盖准黎曼猜想、霍奇猜想、BSD猜想、π的无理性指数、唯一游戏猜想等 17 个方向，模型此前尝试约 4000 个研究问题，平均每项结果消耗约相当于 ChatGPT Pro 思考 3小时。
推荐理由：原文梳理了手稿覆盖范围、核验状态和数学界反应，可帮助理解AI产出数学成果后的同行消化压力。
Hugging Face Blog精选AI 评分6060 Asta 开源科学报告生成模型 AstaBrief 8B
Asta 开源了 AstaBrief 8B，这是一个将研究问题和检索到的文献摘录转成带引用报告的开放权重模型。它已作为 Asta Generate a report 功能中的 Fast mode 提供，并与 Claude 驱动的 Thinking mode 并列；Asta 还开源训练数据，并发布可用自有 PDFs 生成报告的示例 workflow。
推荐理由：文章披露了训练数据筛选、DPO 构造和速度对比，适合参考科学报告生成模型的工程取舍。
Hugging Face Blog精选AI 评分8282 Holo4 系列智能体模型发布，支持 GUI、代码、MCP 和 API
H Company 发布 Holo4 系列智能体模型，包括 Holo4-27B dense、Holo4-35B-A3B Mixture of Experts，并更新 Holotron4 Nano。
推荐理由：原文披露了跨 GUI、代码、MCP 和 API 的训练与评测细节，可用于比较通用计算机使用智能体的成本与能力。