跳到正文
  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. Microsoft Research74

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

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

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

已经到底了