Skip to content
MyHOT
中EN
只看论文#Google
  1. Google DeepMind60

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

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

    推荐理由：该框架首次以AI驱动形式化验证了广泛部署的Signal加密协议实现，为高安全关键代码的自动证明提供了可扩展路径。

  1. Google Research54

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

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

  1. Google Research53

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

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