跳到正文
只看一手#论文/研究
  1. Microsoft Research64

    微软研究院推出基于证明的通用计算系统 Magnetar

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

    推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在通用性、速度与后量子安全之间同时取得进展。

  1. Google DeepMind60

    Google DeepMind 推出 SynthID Bio，为 AI 生成蛋白质加水印

    Google DeepMind 推出 SynthID Bio，把水印技术用于合成生物学，在蛋白质序列和 AlphaFold 3 预测的 3D 结构中嵌入可检测签名，同时保持生物功能。

    推荐理由：原文交代了水印如何嵌入蛋白质序列与 AlphaFold 3 结构，并给出湿实验验证结果，可据此判断生物设计溯源这一层防线的作用。

  1. Microsoft Research69

    微软研究院推出面向生物学复杂性的 AI 研究系统 Quine

    微软研究院推出 Quine，一个面向生物学的研究系统，由跨基因组、蛋白质、化学、RNA 与细胞状态、生物成像的多模态世界模型和连接科学工具、文献与实验的交互框架组成。

    推荐理由：微软研究院公开 Quine 的多模态生物世界模型与工具编排框架，并给出胰腺癌细胞状态预测的湿实验验证结果。

  1. Microsoft Research66

    微软研究院研究物理 AI 机器人推理卸载并加入 Physical AI Toolchain

    微软研究院系统研究了移动操作机器人工作负载的推理部署，发现把推理从机器人端侧 GPU 卸载到边缘或云端 GPU 可提升任务表现和续航。

    推荐理由：微软研究院系统测量机器人端侧 GPU 推理的瓶颈，并给出把推理卸载到边缘或云端的开源工具链。

  1. Berkeley AI Research62

    从 CUDA 到 MLX：K-Search 如何把内核优化经验迁移到 Apple Silicon

    IBM Research 基于 UC Berkeley Sky Lab 的 K-Search 框架新增 MLX 后端和结构化 CUDA-to-MLX 翻译层，让演化式内核搜索把已有 CUDA 内核当作知识库，改写为 Apple Silicon 上的 Metal/MLX 内核。

    推荐理由：原文给出注意力与 Mamba 两类内核在 Apple Silicon 上的实测对比，并拆出翻译层带来的增益。

已经到底了