跳到正文
  1. Hugging Face Blog60

    微软与 Hugging Face 开源 ThinkingBox-Training:用数据库终态校验作 RL 奖励训练 Agent

    微软与 Hugging Face 联合发布 ThinkingBox-Training,把 ThinkingBox 对数据库终态的 1/0 可执行校验直接当作 RL 奖励,用于训练 ThinkingBox-Bench 之外的任务。

    推荐理由:微软与 Hugging Face 联合开源了把数据库终态校验当作 RL 奖励的训练栈,并给出 Qwen3.8-27B 的可复现结果与成本对比。

  1. NVIDIA Blog67

    NVIDIA 扩展 Cosmos 平台,新增世界模型训练、评估与部署工具

    NVIDIA 扩展 Cosmos 平台,新增训练工具、仿真 checkpoint 和 Cosmos Data Factory 蓝图,用于世界模型的训练、评估与部署。

    推荐理由:原文列出 Cosmos 新增的数据工厂蓝图、训练工具与 NIM 推理更新,并给出保时捷、ANYbotics 等落地案例,可据此判断世界模型开发链路的变化。

  2. Hugging Face Blog78

    NVIDIA 发布 Kumo Relational 关系基础模型,无需训练即可预测

    NVIDIA 发布预训练关系基础模型 Kumo Relational,可直接在企业数据库上做预测,无需任务特定训练、特征工程或表扁平化。

    推荐理由:原文给出预训练关系基础模型在 41 个任务上的对比结果与开源入口,可据此判断免训练预测能否替代现有 XGBoost 流水线。

  3. Hugging Face Blog60

    VocabX 如何通过特化 SLM 词表将推理成本降低 77%

    Dharma-AI 在 Hugging Face 博客中预览即将发布的 VocabX 论文,介绍按 token 成本而非出现频率重建小模型词表的方法,在基于 Qwen3-4B 的葡语作文评分器上将实测推理成本降低 77.0%,平均回复长度从 350 个 token 降至 101 个。

    推荐理由:以生产环境葡语作文评分器为例,展示词表特化如何在不改基座模型的前提下降低推理成本,并给出压缩与质量取舍的教训。

  4. Microsoft Research74

    微软研究院等证明 31 年未解的 KLS 猜想

    微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,确认高维对数凹分布的最优超平面切割与任意形状切割之差不超过一个与维度无关的固定常数。

    推荐理由:读者可了解 KLS 猜想如何被证明,以及人类主导、AI 智能体并行探索并筛选的研究流程如何运作。

  1. Google Research71

    Google Research 提出 VERID 框架,让 AI 智能体在湿实验中闭环迭代

    Google Research 发布博客介绍三项研究,目标是打通 AI 计算探索与真实湿实验之间的差距。VERID 框架为实验室工作单元建立语义数字孪生,支持实时 3D 状态跟踪、秒级虚拟试运行、硬件安全检查与视频动作日志同步。

    推荐理由:Google Research 用 VERID 数字孪生和适配体、蛋白设计闭环,展示智能体如何把湿实验纳入设计迭代。

  1. Mistral AI71

    Mistral 发布时间序列基础模型 Timestral,最大 209M 参数

    Mistral 发布首个时间序列基础模型系列 Timestral,提供 5M、28M、123M、209M 四个尺寸,最大模型在 GIFT-Eval、TIME 和 fev-bench 三项公开基准的预训练零样本模型中排名第一,参数量约为此前 SOTA 的三分之二。

    推荐理由:原文给出四个尺寸的参数量、三项基准排名和 CPU 推理延迟,便于判断时间序列基础模型的选型边界。

  1. Microsoft Research71

    微软研究院开源 Agent Lightning v1.0:3500 行代码的轻量 Agentic RL 框架

    微软研究院开源 Agent Lightning v1.0,一个约 3500 行代码的轻量 Agentic RL 框架,提出 Harnessed Agentic RL 范式,让部署时使用的 agent harness 直接参与强化学习,无需在训练框架内重写 agent。

    推荐理由:原文给出框架的代码规模、Kubernetes 部署方式和完整训练示例,读者可据此判断接入现有 agent harness 做 RL 的成本。

已经到底了