跳到正文
10月27日周二
10月24日周六
  1. Hugging Face Blog41

    LitPivot:通过文献动态情境化开发研究想法

    LitPivot 系统通过围绕正在编辑的研究提案片段组织文献,提供有摘录支撑的批评及可接受、编辑或拒绝的修改建议。在 17 名研究者的实验室研究中,领域专家认为使用 LitPivot 形成的研究想法比使用文本编辑器加 AI 聊天工具的想法更有文献依据。参与者还认为修改后的想法更具新颖性和实用性,并对周边文献理解更强。

10月23日周五
  1. Hugging Face Blog62

    微软与 Hugging Face 开源 ThinkingBox-Training,用数据库终态检查作 RL 奖励

    微软与 Hugging Face 开源 ThinkingBox-Training 训练栈,把智能体留下的数据库终态检查直接当作 RL 奖励,并公开数据筛选、rollout 与 Verl 集成流程。

    推荐理由:公开的训练栈把数据库终态检查转成可执行奖励,读者可据此复用其任务筛选、奖励设计与一致性评估的完整流程。

10月22日周四
  1. Microsoft Research86

    微软研究者借助人工引导的智能体流程证明 31 年未解的 KLS 猜想

    微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出不随维度增长的固定常数界。此前 2026 年 7 月的最好结果仍允许该界随维度缓慢增大,新证明在 10 月 4 日版本中论证各阶段引入的误差累积后仍被通用常数约束。

    推荐理由:证明过程展示了研究者如何用智能体并行探索上百条候选路径并逐轮人工筛选,可据此理解人机协作推进数学研究的具体方式。