Helsing 发布 Clarity 平台，用 AI 智能体为武器系统准备目标建议
德国国防科技公司 Helsing 在柏林发布 Clarity，一个基于智能体的软件平台，可处理传感器数据、开源情报、书面报告和现用系统数据，由数百个专用 AI 智能体识别部队、设施和阵地，生成目标建议供人工审核后再打包给相应武器系统。
#AI 产品
The DecoderAI 评分5050 Ars Technica · AIAI 评分6060 Grok Build 编程智能体泄露大量机密信息，部分属于 SpaceXSI
安全公司 Claroc 的研究显示，SpaceXSI 的 vibe-coding 智能体 Grok Build 通过分享链接泄露了数千名用户的机密数据，其中包括内部商业计划、广告提案、医疗检查结果和员工姓名与工号。
Google DeepMind精选AI 评分8080 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，这是一个多 LLM 智能体框架，用于对实际运行代码做深度形式化验证。研究团队与模型协作把 Signal 协议的安全目标写成形式化规约，由 Gemini Carbon 驱动的智能体生成超过六百万行 Lean 证明，人工只需复核约 1% 的代码库，整个验证过程耗时四周。
推荐理由：AlphaProof Code 用多智能体把形式化验证推进到编译后代码层，并给出可复用的验证产物。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出基于 ModernBERT 的密钥检测分类器，将 push protection 扩展到非结构化密钥
GitHub 发布与 Microsoft Applied Sciences 合作微调的 ModernBERT 分类器，用代码上下文识别数据库 URL、Kubernetes Secret manifest、Dockerfile 中的非结构化密钥，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。