Hugging Face 与 IBM 发布两个实验性预览模型 granite-4.1-3b-LLMON-preview 和 granite-4.1-8b-LLMON-preview，基于 Granite 4.1 base 训练以消费和生成 LLMON（LLM Object Notation）标记文本，并同步开源 LLMON 工具库与示例。
推荐理由：原文用 OPI 基准对比数据说明指令与数据分离对间接提示词注入的防护效果，同时给出与 JSON 的差异和训练方法，便于评估其可迁移性。
AWS 宣布 Amazon Bedrock AgentCore runtime 的下一代版本正式可用，覆盖北美、南美、欧洲和亚太区域。
推荐理由：原文给出启动速度、算力上限、计费方式和数据隔离四方面具体变化，可据此评估它对生产级智能体部署成本与安全的影响。
AWS 官方教程演示如何让共享同一 Agent 和知识库的员工各自只能检索到自己有权限的文档，核心原则是不让 LLM 决定 userContext 的值。
OpenAI 払出 200 万美元，支持关于 AI 与儿童安全的研究。该工作旨在为评估青少年面临的风险与机遇提供共享工具。
AWS Machine Learning Blog 介绍开源引擎 semi-persistent 如何用反统一（anti-unification）对形式化策略做语义 diff：在 e-graph 上声明代数律（如 And 的结合、交换、幂等）和领域改写规则，把只改写法不改语义的差异吸收掉，只保留真正的语义分歧为 Variants 节点。
Cogent 结合 OpenAI 模型与企业上下文，用 AI 智能体帮助企业自动修复漏洞。该方案面向企业网络防御场景，将模型能力与企业自身环境信息结合，以智能体方式自动完成漏洞修复流程。
微软研究人员发现名为 Lazarus 的后门技术，重编程 LLM 中少于 10 个休眠神经元、无需训练即可让 AI Agent 在触发时执行攻击者命令，且模型仍能通过标准评测。
推荐理由：原文给出少于10个休眠神经元即可植入后门且无需训练的机制细节，可帮助读者理解权重完整性为何成为模型安全的关键。
Google DeepMind 宣布 Gemini 4 Carbon 正式面向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流。
推荐理由：原文给出定价、基准排名与安全数据，读者可据此对比 Carbon 与 Argon 的分工和迁移成本。
Google DeepMind 发布 Gemini Robotics 2.5，称其为迄今最强的视觉-语言-动作（VLA）模型，提升机器人可学技能的广度与获取速度。
推荐理由：原文给出 Mercedes-Benz 产线 96% 成功率与越狱防御基准，读者可据此评估其工业落地与安全水平。
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，用它对 Signal 协议的实际代码给出了关键安全性质的数学证明，称这是首次用 AI 在这一深度形式化验证广泛部署的密码协议，也是任何方法首次验证此类协议的实现。
推荐理由：原文说明了形式化验证从设计层下沉到编译代码层的做法与四周耗时，读者可据此评估 AI 代理在真实密码协议上的验证能力边界。
OpenAI 介绍 Control Room，一个在其研究基础设施上追踪模型工作负载、并在出现安全或安全顾虑时快速停止这些工作负载的中枢系统。该系统覆盖 OpenAI 的研究基础设施，可对模型工作负载进行集中追踪与紧急停止。
CrossnoKaye 介绍其 ATLAS 自动化平台与 AURA 智能体系统如何基于 Amazon Bedrock AgentCore 在 100 多个工业设施、13,000 个受控资产上落地物理 AI。
韩国多家企业与 NVIDIA 合作推进 Agentic AI 安全：AIM Intelligence 将 Starfort 平台与 NVIDIA OpenShell 集成，结合 OpenShell 的运行时访问控制与 Starfort 的恶意指令检测和数据泄露防护，支持安全 AI 智能体。
OpenAI 宣布与 Hacktron 合作，利用前沿 AI 寻找其系统中的漏洞、测试与第三方服务的连接并加强防御。原文未披露更多技术细节、时间表或具体漏洞范围。
AWS 发布教程，介绍如何把本地运行在 Amazon Bedrock 上的 Claude Code 扩展为 Amazon Bedrock AgentCore 上的远程编码智能体，配套开源示例 sample-remote-coding-agent。
Taxbit 介绍其嵌入产品仪表盘的 AI 助手 Taxbit Assist 如何基于 Amazon Bedrock AgentCore 构建，该助手自 2026 年 5 月起在美国和欧盟生产运行，超过 55% 提问用户会在 24 小时内再次提问。
Greenlight Financial 基于 Amazon Bedrock AgentCore 构建了名为 Luna 的自主安全运营中心（SOC）方案，每月处理 3,000-4,000 起安全与风险案例，自主解决率超过 90%，常规案例中位分诊时间从人工的 15-30 分钟缩短到数秒。
AWS 发布教程第一部分，讲解如何在 Amazon Bedrock AgentCore runtime 上构建一个通过 Okta Cross App Access（XAA）代表已登录用户行事的任务智能体。
AWS 官方教程第二部分，把 Part 1 的单智能体授权拓扑扩展到多智能体多工具场景：Amazon Bedrock AgentCore Gateway 成为统一入口。
OpenAI 发布 GPT-6 Cyber，这是一款用于发现可利用漏洞并开发修复方案的网络安全模型，训练上被约束在授权范围内活动。
推荐理由：原文点明该模型面向漏洞发现与修复并强调授权范围约束，读者可据此判断其在安全智能体场景的定位与边界。
Microsoft Research 与 GitHub Next、RiSE 合作推出 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 规划环境中与开发者协作，把自然语言意图转成 Verus 形式化规范，自动为智能体生成的代码生成证明，证明覆盖每个输入，证明触及不到的部分则回退为测试。
推荐理由：原文完整展示了从意图到形式化规范再到证明的七步工作流，可迁移之处在于它把代码审查重心移到了意图审查。
OpenAI 构建了一套自主流程，发现、验证并为 Linux 内核中的 948 个本地提权漏洞生成了补丁。
推荐理由：原文点明了漏洞数量与自动化流程的闭环，读者可据此评估 AI 自动化安全审计的规模与可行性。
Google Research 提出 Agile Deliberation 框架，把主观 AI 分类器的构建变成人与 AI 的迭代对话，帮助用户在协作中厘清自身定义，代码与算法已在 GitHub 开源。该框架分概念界定与概念迭代两阶段，用视觉语言模型挖掘语义边界图像，经 18 场、每场 1.5 小时的真人实验验证，显著降低用户疲劳与焦虑，产出更一致、性能优于标准基线的模型。
AWS Quick 推出 Smart Approvals 功能，在既有权限控制内自动审查符合条件的操作：由独立的 classifier 模型将每个拟执行操作与用户请求及对话上下文比对，符合条件则自动批准，否则返回用户复核，且不额外授予权限、不移除必须的人工审批。
Hugging Face 与 Collinear AI 开源 CWE-bench v2，公开 100 个任务，覆盖 91 种 CWE，用于测试前沿模型发现并修复安全漏洞且不破坏现有功能的能力，评分完全程序化、可复现。
推荐理由：公开了 100 个任务的评分口径与成本数据，读者可据此判断模型在真实漏洞修复上的水平与代价。
AWS 官方博客讲解如何配置 Amazon Bedrock AgentCore Gateway，与 Microsoft Entra ID 完成 on-behalf-of（OBO）令牌交换，使 AI 智能体调用 ServiceNow REST API 时保留发起用户的原始身份。
Microsoft Research 播客邀请研究经理 Mike Walker 对谈，讲述其从黑客文化走向下一代网络防御的职业经历，包括参与开发首个全机器黑客攻防赛。
OpenAI 正与 Cathedral Systems 合作开展下一次内部安全冲刺，利用 AI 测试并强化其防御体系。
OpenAI 提高 Security Bug Bounty 赏金，并为独立安全研究人员引入报告质量、忠诚度和优先级活动三类奖励加成。
OpenAI 宣布加强 ChatGPT 的暴力预防机制，包括扩大安全防护、更早介入干预，并承诺公开发布安全报告。此次更新聚焦青少年用户保护，是 OpenAI 在社区安全方面的新举措。
OpenAI 更新了 Model Spec，提出五项核心价值观，以引导更强大的 AI 形成健全判断、尊重人类自主性并忠实于人类意图。
OpenAI 采用分层监控（layered monitoring）机制检测前沿模型的错位（misalignment）与未授权的智能体行为，使响应人员能在事件升级前介入干预。
Mistral AI 发布 Mistral Large 4（Le Chonk）的开放权重版本，这是其 1-trillion 参数、原生多模态旗舰模型，此前本月已进入 public preview。
推荐理由：原文给出多项基准分数与token效率对比，读者可据此判断其在开源编码模型中的位置与部署成本。
AWS 发布 Enterprise Agentic AI Platform Blueprint，基于 Amazon Bedrock AgentCore 提供可部署的基础设施即代码，帮助企业以联邦模式构建受治理的 Agentic AI 平台。
Google DeepMind 发布 Gemini 4 Carbon，称其为最强模型，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出网络安全与长时任务的具体基准分数和对齐改进数据，读者可据此评估其在安全防御场景的实际能力定位。
Check Point 借助 OpenAI Daybreak 加速新安全防护背后的漏洞研究，让分析师更快把漏洞情报转化为面向客户的防御能力。
Google DeepMind 宣布发布新世界模型 Genie 4，提升实时交互模拟的真实感，可原生同时生成音乐、环境音与交互对话。
推荐理由：原文说明了 Genie 4 与 Gemini 系列的分工方式，读者可据此理解实时世界模拟如何借助推理模型维持连贯性。
CodeRabbit 使用 GPT-6.1 Sol 在复杂代码库中排查安全风险，其安全智能体帮助开发者审查发现的问题和提出的修复方案。
OpenAI 介绍了其加固前沿模型训练与评估环境安全防护的做法，包括构建离线环境以及开展高算力红队测试。这些措施旨在强化对前沿模型训练过程的隔离与管控，降低训练和评估阶段的风险。
OpenAI 与波兰 NASK 达成合作，共同推进 AI 安全、安全与技术研究，以加强防护措施并支撑更具韧性的数字生态系统。