Google DeepMind 推出 AlphaProof Code 框架，形式化验证 Signal 密码协议实现代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次对 Signal 协议的实际实现代码完成数学化安全证明，此前该挑战被认为极为困难。
推荐理由：原文给出框架工作流程、生成六百万行 Lean 和四周完成验证等细节，读者可据此判断形式化验证的可行路径。
Google DeepMind精选AI 评分7777 Artificial Analysis 完整文章AI 评分5353 Artificial Analysis 联合 Google DeepMind 发布 MKA 多模态知识智能体基准
Artificial Analysis 与 Google DeepMind 合作发布 Multimodal Knowledge Agent (MKA) 基准，评估智能体处理架构图纸、工程示意图、临床扫描等复杂视觉文件并产出幻灯片、表格、报告等交付物。
Google Research精选AI 评分7070 Google Research 发布 AI-PPG-ACC-HTN 系统，用智能手表无袖带检测高血压迹象
Google Research 在 Nature 发表 AI-PPG-ACC-HTN 系统，用消费级智能手表的 PPG 和加速度传感器被动检测高血压迹象，无需袖带校准。
推荐理由：原文给出无需袖带校准的智能手表高血压筛查系统及与临床金标准对比的具体数据，读者可据此评估其筛查定位。
Google Developers BlogAI 评分5959 Google 量化代码遗留 TODO 对智能体的干扰成本
Google 基于数千工程师、数亿步智能体交互的轨迹数据，分析代码内遗留 TODO(bug/...) 引用对编码智能体的干扰：13% 的读文件会话接触到这类引用，6% 触发后续动作且其中 83% 是开发者未要求的偏航，其中 41% 追向已关闭的工单，57% 造成范围蔓延。
Google ResearchAI 评分4343 Google Research 介绍 Agile Deliberation 框架：让 AI 帮助人类定义主观分类的灰色地带
Google Research 提出 Agile Deliberation 框架，把主观 AI 视觉分类器的构建变成人与 AI 的迭代对话，先化解人类意图的模糊再训练模型。
Google ResearchAI 评分5353 Google Research 提出 sleep 框架让 LLM 在持续学习中保留知识
Google Research 提出面向 LLM 持续学习的 sleep 框架，让模型在活跃交互与离线记忆巩固之间交替，将易失的短期上下文固化为长期参数。
Google Research精选AI 评分6868 Google Research 发表 JAMA Network Open 研究：AI 盲扫超声估测孕周达临床非劣效
Google Research 在 JAMA Network Open 发表前瞻性多中心研究，验证 AI 模型解析无超声训练背景的基层人员用便携探头做的盲扫图像来估测孕周。在芝加哥和内罗毕两个环境共 385 名参与者的主要队列中，模型估测孕周的平均绝对误差为 4.18 天，非劣效于专家超声师标准流程的 4.48 天；内罗毕站点未做本地微调，误差 4.27 天，显示了跨临床环境和硬件的泛化能力。
推荐理由：原文给出前瞻性多中心验证数据，AI 用盲扫超声估孕周的误差与专家标准相当，可帮读者了解医疗 AI 跨环境落地的实际表现。
Google Blog：AIAI 评分5555 e-Conomy SEA 2026 报告：东南亚数字经济将达 3680 亿美元，AI 使用量五年内预计增长 60 倍
Google、Temasek 和 Bain & Company 发布第 11 期 e-Conomy SEA 报告，预计 2026 年东南亚数字经济 GMV 同比增长 17% 达 3680 亿美元，2035 年有望突破 1 万亿美元。
Google Research精选AI 评分6464 Google Research 发布 VERID 框架，推进 AI 智能体驱动的自主湿实验室
Google Research 介绍三项研究，构建 AI 智能体与真实湿实验室之间的闭环：VERID 框架以实验室工作单元的语义数字孪生提供 3D 状态跟踪、虚拟试运行、硬件安全检查和视频动作日志，基于开源 PyLabRobot。
推荐理由：Google 展示了 VERID 数字孪生框架和闭环实验结果，读者可以看到 AI 智能体进入湿实验室的具体路径和关键数字。
Google Blog：AIAI 评分5353 Google AI & Economy ATLAS 发布新数据可视化及科学家使用 AI 研究
Google 更新 AI & Economy ATLAS，上线交互式开放数据体验，并联合 Google DeepMind 与 MIT FutureTech 发布科学家使用 AI 的新研究。
Timothy B. Lee：Understanding AIAI 评分4545 Google 如何让 LLM 控制机器人并掀起机器人浪潮
Google 在 2023 年 7 月发布 RT-2，通过训练多模态 LLM 直接生成机器人动作，开启机器人的“GPT-3 时刻”。RT-2 参数规模达数十亿，远超此前 35M 参数的 RT-1，展现出对物体、场景和指令的泛化能力，Google 将其命名为视觉-语言-动作（VLA）模型，该方法和术语迅速成为行业标准。
METR：Blog精选AI 评分7878 METR 发布前沿风险报告，评估 Anthropic、Google、Meta、OpenAI 内部 AI 智能体的失控风险
METR 于 2026 年 2 月 16 日至 3 月 16 日开展试点，联合 Anthropic、Google、Meta、OpenAI 评估其内部 AI 智能体的错位风险。
推荐理由：METR 首份行业级试点评估，读者可从中了解四家头部公司内部 Agent 的失控风险现状与评估方法。
Goodfire Research精选AI 评分6060 Anthropic、Goodfire 等多机构发布电路研究全景：复现 attribution graph 并开源工具
Anthropic、Decode、EleutherAI、Goodfire、Google DeepMind 的研究者合作发布 The Circuits Research Landscape，复盘 attribution graph 方法的复现与扩展结果。
推荐理由：多家机构共同复盘 attribution graph 复现结果与 transcoder 训练细节，并给出可复用的工程参数和未来研究方向。