实时论文

公开材料 5 条

1. paper2026年11月10日

   AlphaProof Code 首次形式化验证 Signal 加密协议实现

   Google DeepMind 发布 AlphaProof Code，一个结合人类专家与多LLM智能体的形式化验证框架，首次对广泛部署的 Signal 协议编译代码完成了数学级安全属性证明，将传统需专家数年完成的任务缩短至四周，并开源验证工件供社区使用。

2. paper2026年11月5日

   Google Research 发布 Agile Deliberation 框架：用 AI 辅助人类定义主观视觉分类边界

   Google Research 发布 Agile Deliberation 框架，帮助人类系统化定义主观概念（如健康食品、误导性内容）的视觉分类边界。该框架将流程分为概念范围界定和概念迭代两个阶段：前者引导用户建立子类别与排除规则的结构化基础，后者通过 VLM 主动呈现语义边界案例，驱动用户在图片反馈中自然澄清意图并自动更新模型。

3. paper2026年10月28日

   The sleep framework：让 LLM 在持续学习中保留知识的睡眠框架

   Google Research 提出 sleep framework，通过模拟人类睡眠机制帮助大语言模型在持续学习中稳定保留知识。该框架交替运行 active（wake）phase 和 sleep phase，利用 MoE 与 Hope 架构进行参数扩展、GKD 知识播种及 synapse pruning，支持模型将短期上下文转化为长期参数。

4. paper2026年10月24日

   Google Research 推进 AI 胸片模型用于结核病筛查

   Google Research 与合作伙伴协作，将基于深度学习算法的胸部 X 光筛查工具推进至临床部署，已获得 CE MDR Class IIb 认证并在六国运行，已完成超两万次阅片，同时将 chest X-ray embeddings 与 MedGemma 等多模态基础模型开源，全球下载超千万次，印尼卫生部正基于该开源模型推进全国结核病筛查计划。

5. paper2026年10月22日

   ForTy 2020：Google DeepMind 与伙伴发布 10 米级全球森林类型地图

   Google DeepMind、Google Research 联合世界资源研究所和国际应用系统分析研究所发布 ForTy 2020，这是首张 10 米分辨率的全球森林类型地图，将地球每块土地归入六种类型之一，并附 2017 至 2025 年时间序列追踪森林变化。