跳到正文
只看一手#论文/研究
  1. Google Research72

    Google 研究用智能手表传感器无校准检测高血压迹象

    Google Research 在 Nature 发表 AI-PPG-ACC-HTN 系统，仅用智能手表 PPG 与加速度计数据、无需袖带校准即可检测高血压迹象。

    推荐理由：研究以 24 小时动态血压监测为金标准，给出智能手表无袖带校准筛查高血压的敏感度与特异度对比。

  1. Microsoft Research74

    微软研究员用人类引导的 AI 流程证明 31 年未解的 KLS 猜想

    微软研究院 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 Kannan-Lovász-Simonovits（KLS）猜想，证明在高维对数凹分布下，最佳平面切割与任意形状最佳切割的差距可由一个与维度无关的常数界定。

    推荐理由：读者可看到人机协作如何被拆成可复用的研究流程，以及独立证明与 Lean 形式化如何构成交叉验证。

  1. Google DeepMind62

    Google Antigravity 加速抗菌肽发现，并内置生物分子结构查看器

    Google DeepMind 介绍其智能体开发平台 Google Antigravity 用于抗菌肽发现，把原本分散在多个数据库的检索压缩到一次会话中，并结合 ProtNLM 从氨基酸序列预测生物功能，扫描 UniProt 中数百万条未表征蛋白。

    推荐理由：原文给出智能体科研工作台在抗菌肽发现中的完整流程，可了解AI如何压缩跨数据库检索与结构评估。

  2. Microsoft Research62

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

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

    推荐理由：微软研究院公开 Magnetar zkVM 的设计与基准数据，读者可了解零知识证明在通用程序上的性能与密码学取舍。

已经到底了