跳到正文
10月23日周五
  1. Hugging Face Blog62

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

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

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

  2. Microsoft Research61

    Microsoft Research 发布 Flint-interactive 交互式数据可视化语言

    Microsoft Research 发布 Flint-interactive,一种在 Flint 之上创建交互式数据可视化的语言,能让智能体产出可点击、筛选、缩放、高亮和跨图表联动的图表。

    推荐理由:原文拆解了语义事件与视觉更新的分工,读者可据此理解智能体生成可交互图表的实现路径。

10月22日周四
  1. Microsoft Research86

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

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

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

10月21日周三
  1. Microsoft Research26

    Microsoft Research 播客对话 Catalyst Lab 负责人 Chris White:科技、研究与积极影响

    Microsoft Research 播客对话 Catalyst Lab 负责人 Chris White,回顾他在 DARPA、阿富汗先进技术部署及用暗网搜索工具协助打击人口贩运的经历。他如今领导微软研究院新成立的 Catalyst Lab,关注具有现实影响的技术研究。对话还谈及创新中的问题选择,以及见证人性阴暗面后如何保持希望。