微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约需 12 毫秒。
#安全/对齐
Microsoft ResearchAI 评分5858
AWS Machine Learning BlogAI 评分5858 AWS 提出 Trust in Depth：让智能体获得更多自主权而不失控
AWS AI Services 副总裁 Shawn Bice 提出 Trust in Depth 框架，主张在智能体行为可验证时让它自主行动，把人工判断留给真正需要决策的环节。
Google DeepMindAI 评分5858 Google DeepMind 与新加坡政府合作微调端侧诈骗检测模型
Google DeepMind 与新加坡政府科技局（GovTech Singapore）合作，基于轻量级 Gemma 模型微调出可在设备端运行的诈骗检测模型，用于识别冒充公共机构、银行和本地人物的诈骗对话。
Google DeepMind精选AI 评分8080 Google DeepMind 发布 Gemini 4 Argon 并公布安全防护方案
Google DeepMind 开始广泛推送 Gemini 4 Argon，并同步发布安全与安保报告。该模型在 12 个端到端模拟网络攻击场景中全部通过，上一代为 5 个；在 Gray Swan 的间接提示注入基准上，15 次自适应攻击的成功率降至 0.7%。在编码基准上，模型试图走捷径或作弊的比例降至 2%，同时公司部署了实时失准监控，读取智能体动作与思维链。
推荐理由：原文披露了 Gemini 4 Argon 在网络安全与生物领域的前沿防护措施，以及智能体失准监控的具体机制和数字。
GitHub Blog · AI & MLAI 评分5858 GitHub 推出 AI 密钥检测模型，将推送保护扩展到非结构化密钥
GitHub 发布基于 ModernBERT 的通用密钥检测模型，用代码上下文识别数据库密码等非结构化密钥，候选批次评估耗时低于 2 毫秒，可将可拦截的密钥数量提升一倍以上。
Google DeepMind精选AI 评分8282 Google DeepMind 发布 Gemini 4 Argon 前沿模型
Google DeepMind 发布前沿模型 Gemini 4 Argon，先通过 Fairwind Program 向受信任的网络安全防御方开放，后续再逐步提供给开发者、企业和消费者。
推荐理由：原文给出 Argon 在编码、企业知识工作和网络安全防御上的具体评测与内部落地案例，可据此判断前沿模型的能力边界与分阶段开放策略。
Google DeepMind精选AI 评分7070 Google DeepMind 推出 SynthID Bio，为 AI 生成蛋白质嵌入可验证水印
Google DeepMind 发布 SynthID Bio，将水印技术用于合成生物学，把不可感知的签名嵌入生物代码，在数字模型和合成出的实体蛋白质上都能验证，同时保持其生物功能。
推荐理由：原文给出了水印在湿实验中保持蛋白功能与结合亲和力的验证结果，读者可据此判断生物设计溯源这一新防线如何运作。
GitHub Blog · AI & ML精选AI 评分6262 GitHub Security Lab 发布 Fuzzing Taskflow 自主模糊测试流水线
GitHub Security Lab 发布 Fuzzing Taskflow，这是一个面向 C/C++ 项目的自主模糊测试流水线，只需指向一个 GitHub 仓库，它就会自动识别入口点、分析构建系统、编写 harness、运行 AFL++、读取覆盖率报告并改进 harness，再对每个崩溃做分类并生成漏洞报告。
推荐理由：作者公开了这套自主模糊测试流水线的架构与运行方式，读者可据此判断哪些人工环节能交给 LLM 智能体。