跳到正文
今天10月21日周三1 条
10月20日周二
10月17日周六
  1. Google Research74

    Google Research 介绍让 AI 智能体接入湿实验室的三项研究

    Google Research 发布博客,介绍三项把 AI 智能体与真实湿实验室实验衔接起来的研究:VERID 实验室工作单元语义数字孪生框架、适配体闭环设计原型,以及 FAP 靶点的 de novo 蛋白结合体设计。

    推荐理由:Google Research 用三个项目展示智能体如何接入湿实验室的物理状态与闭环实验,读者可了解其自动化科研路径与安全约束。

10月16日周五
  1. Microsoft Research66

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

    微软研究院发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的程序执行过程,并返回可在约 12 毫秒内验证的简短证明。在 15 个基准程序上,它比同机最快的现有 zkVM 平均快 10 到 39 倍,在笔记本上每秒可证明 720 万至 870 万条 RISC-V 指令。其安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,不需要椭圆曲线、格假设或可信设置。

    推荐理由:微软研究院梳理十余年零知识证明研究脉络,说明 Magnetar 如何在通用性、速度与标准哈希安全之间同时取得进展。

10月15日周四
  1. Google Research62

    Google 发布地理空间推理智能体技术报告并扩大 Earth AI 早期访问

    Google 发布 Geospatial Reasoning 智能体技术报告,在四个基准上对比独立 LLM、基础工具、Earth AI 工具和完整规划智能体四种配置,并新开源 GeoKTools 与 GeoExpertQueries 两个基准的开发集。

    推荐理由:技术报告用四个基准对比四种配置,量化了领域工具与前置规划对地理空间推理的增益。

10月13日周二
  1. Microsoft Research40

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

    微软研究院提出 StudentSim,从公开的去标识化学习记录训练个性化 AI 学生模拟器,在辅导前评估和改进 AI 辅导系统。该工作同时发布 StudentSimEval 基准,覆盖国际象棋、英语二语写作和数学,从行为保真度与指导响应性两个维度评估模拟器,StudentSim 在这三个领域均优于领先基线。StudentSim 仅为研究系统,未部署于课堂,也不用于替代教师。

10月8日周四
  1. Google Research69

    Google Research 研究:AI 辅助提升专利撰写产出,但初级律师的独立判断力未同步提升

    Google Research 与 NBER 发表了一项为期三个月的专利撰写实地实验,133 名律师随机获得当时尚未发布的 Google Labs AI 专利撰写工具(现属 Gemini Notebook)的使用权。

    推荐理由:三个月实地实验区分了AI带来的即时产出提升与无辅助判断力的变化,对理解人机协作中的技能养成有参考价值。

10月6日周二
  1. Google Research36

    Google 发布智能体隐私与安全研讨会报告:从上下文完整性看开放与新兴问题

    Google 发布《智能体隐私与安全中的开放与新兴问题:上下文视角》研讨会报告,汇集 50 多位学界与业界专家,梳理自主智能体在系统、模型、用户和生态层面面临的基础性隐私与安全挑战。报告以上下文完整性(CI)理论为基础,将隐私重新定义为符合社会规范的"适当信息流",并主张用上下文策略引擎在执行前评估智能体行为是否恰当。报告还提出系统级沙箱、模型级推理与用户控制的多层防护思路。

10月5日周一
10月2日周五
  1. Google Research58

    Google 提出基于 TEE 的可验证隐私联邦学习系统

    Google Research 发布新一代联邦学习系统,借助可信执行环境(TEE)让数据匿名化过程可被远程验证和审计,并称隐私保证更强、模型精度更高。设备上传的加密训练数据只能在符合访问策略的 TEE 内解密处理,访问策略发布到公开透明日志 Rekor,KMS 与数据处理二进制可从开源代码复现构建。Gboard 已采用该系统上线英语和日语下一词预测模型,训练速度明显快于此前系统。

10月1日周四
9月30日周三
  1. Google DeepMind64

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

    Google DeepMind 推出 SynthID Bio,把水印技术用于合成生物学,将不可感知的签名直接嵌入生物代码,并能在合成出的实体蛋白质上验证,同时保持其生物功能。

    推荐理由:原文说明了水印如何嵌入蛋白质序列与结构,并给出湿实验验证结果,读者可据此判断其对生物安全筛查的意义。

9月29日周二
  1. Microsoft Research71

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

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

    推荐理由:微软研究院公开 Quine 的多模态生物世界模型与实验闭环设计,并给出胰腺癌细胞状态预测的湿实验验证结果。

7月29日周三
7月26日周日
  1. Berkeley AI Research40

    Berkeley AI Research 提出 ABBEL:用信念状态替代完整交互历史,提升 LLM 长程交互效率

    Berkeley AI Research 提出 ABBEL 框架,将 LLM 的摘要内容隔离并监督为自然语言"信念状态",替代完整交互历史作为智能体的工作上下文。在 CollabBench 协作编程任务上,基于重建的信念评分将 ABBEL 与全上下文模型的性能差距缩小约 50%,训练步数从 100 步降至 50 步,峰值上下文 token 数也显著低于全上下文设置。

5月8日周五
  1. Berkeley AI Research36

    自适应并行推理:高效推理扩展的下一个范式

    伯克利 AI 研究团队综述并行推理领域进展,重点分析自适应并行推理——让模型自行决定何时分解并并行化子任务、开启多少并发线程以及如何协调。现有方法如自一致性、Best-of-N、Tree of Thoughts、MCTS、ParaThinker、GroupThink 和 Hogwild! Inference 的并行结构多由外部设定,未教会模型自适应行为。

4月20日周一
  1. Berkeley AI Research38

    GRASP:面向世界模型长时程规划的梯度规划器

    Berkeley AI Research 提出梯度规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、在状态迭代中注入随机性以探索、并重塑梯度让动作获得清晰信号,从而让世界模型的长时程规划更稳健。该方法针对长时程 rollout 中梯度爆炸/消失、非贪心结构导致局部极小值以及高维视觉模型“状态-输入”梯度脆弱等问题。

3月13日周五
  1. Berkeley AI Research38

    Berkeley AI Research 提出 SPEX 与 ProxySPEX:大规模识别 LLM 关键交互

    Berkeley AI Research 提出 SPEX 与 ProxySPEX 算法,用于在大规模场景下识别 LLM 中驱动输出的关键交互。SPEX 利用稀疏性与低阶性把交互搜索转化为稀疏恢复问题,ProxySPEX 进一步利用层次结构,以约 10x 更少的消融达到 SPEX 的性能。在情感分析任务上,SPEX 在上下文扩展到数千特征时仍保持高忠实度,优于 LIME、Banzhaf 等方法。

1月10日周六
  1. Berkeley AI Research38

    Berkeley AI Research 提出基于信息量的成像系统设计框架

    Berkeley AI Research 提出一种直接以互信息评估和优化成像系统的框架,仅用带噪测量和噪声模型即可量化测量对物体的区分能力。该信息指标在彩色摄影、射电天文、无透镜成像和显微镜四个领域预测了解码器性能,优化后的设计达到 SOTA 端到端方法水平,且内存和算力需求更低、无需任务专用解码器。