跳到正文

内容类型

论文研究 最新动态

值得读的 AI 论文与研究成果:架构创新、训练方法、能力测量与理论进展。

5 条精选近 30 天 4 条共收录 24 条

更新

论文研究的精选

11月4日周三第 1–5 条
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日周五
  1. Microsoft Research62

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明系统

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序,在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍,证明验证约 12 毫秒。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。

7月29日周三