跳到正文
10月27日周二
10月22日周四
  1. Google DeepMind60

    Google DeepMind 联合 WRI 与 IIASA 发布 10 米分辨率全球森林类型图 ForTy 2020

    Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology(ForTy)2020,把全球每块 10×10 米土地归入原始林、自然再生林、人工种植林、商品林、木本作物与农林、其他土地六类。

    推荐理由:读者可了解一张10米分辨率全球森林类型图如何区分原始林、人工林与农林,以及它和欧盟零毁林法规的关系。

  2. Microsoft Research78

    微软研究院等证明31年悬而未决的KLS猜想

    微软研究院张新志与Zhao Song证明1995年提出的KLS猜想,确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径,由研究者筛选方向并完成论证,另有独立团队同日给出完整证明,随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。

    推荐理由:这篇论文证明了一个悬置31年的高维几何猜想,并展示了研究者如何引导AI智能体筛选上百条路径。

10月16日周五
10月13日周二
  1. Microsoft Research52

    微软研究院提出 StudentSim:用个性化学生模拟器评估和改进 AI 导师

    微软研究院提出 StudentSim,从公开的去标识化学习记录训练个性化学生模拟器,用于在真实学习者测试前评估和改进 AI 导师。研究同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学三个领域,从行为保真度和对指导的响应度两个维度评估模拟器。