跳到正文
11月6日周五
11月5日周四
10月30日周五
10月22日周四
  1. Microsoft Research74

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

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

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

10月16日周五
  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 的设计与基准数据,读者可了解零知识证明在通用程序上的性能与密码学取舍。

10月13日周二
  1. Microsoft Research40

    微软 StudentSim:用个性化学生模拟器评估和改进 AI 辅导系统

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