生产级 AI 智能体的四层上下文工程：Deep Insight 在可运行代码中的实践
AWS 团队以开源多智能体数据分析方案 Deep Insight 为参考实现，讲解生产级 AI 智能体的四层上下文工程：架构层用多智能体隔离上下文，提示词层限制各智能体输出 token 预算，工具层把代码和结果外置到文件系统，验证层用独立智能体复核计算与引用。
推荐理由：AWS 团队把上下文工程拆成四层，并给出开源参考实现中的具体代码与 token 节省数据。
精选
AWS Machine Learning Blog精选AI 评分6060
OpenAI News精选AI 评分6262 OpenAI 宣布收购 Pierre Computer Company
OpenAI 宣布将收购 Pierre Computer Company，以扩展 Codex 在代码构建、理解和审查方面的工具能力。原文未披露交易金额与完成时间。
推荐理由：这条收购信息交代了 Codex 在代码构建、理解与审查工具上的扩展方向，可据此观察 OpenAI 的编码产品布局。
OpenAI News精选AI 评分6262 OpenAI 构建自主流水线，在 Linux 内核中发现并验证 948 个本地提权漏洞
OpenAI 构建了一条自主流水线，用于发现、验证并生成补丁，覆盖 Linux 内核中的 948 个本地提权漏洞。材料仅提供摘要，未披露流水线的具体方法、漏洞细节与补丁去向。
推荐理由：OpenAI 披露一条自主流水线在 Linux 内核中发现并验证 948 个本地提权漏洞，可观察自动化漏洞挖掘的落地方式。
OpenAI News精选AI 评分6262 OpenAI 发布 Images 2.6 图像模型
OpenAI 发布 Images 2.6，图像生成速度更快，新增 GIF 生成和更精确的编辑能力，并带来新的 API 控制项。该版本覆盖 ChatGPT、Codex 和 API 三个入口。
推荐理由：OpenAI 公布 Images 2.6 在生成速度、GIF 与编辑精度上的变化，并同步覆盖 ChatGPT、Codex 和 API。
Google DeepMind精选AI 评分7272 Google DeepMind 为 Antigravity 推出化学信息学技能包
Google DeepMind 为 Google Antigravity 推出 Cheminformatics Skills，基于 RDKit 并接入 ChEMBL 与 PubChem，让智能体在约一小时内完成从文献检索数千化合物、匹配分子对分析到提出新型刚性化大环化合物及合成路线的流程，而过去单次迭代通常需要数天。
推荐理由：原文给出化学技能包在真实肺癌药物案例中的完整流程与耗时对比，可据此判断智能体在科研工作流中的分工方式。
NVIDIA Blog精选AI 评分6060 NVIDIA RTX Spark 笔记本新增 Nemotron 3.5 Transcribe、LFM3 模型与智能体资源管理
NVIDIA 为 RTX Spark Windows 笔记本带来一批更新，包括开放权重语音模型 Nemotron 3.5 Transcribe、Liquid AI 的 LFM3 系列模型，以及 NVIDIA App 中在前后台应用与智能体之间分配 GPU 资源的控制项。
推荐理由：原文列出 RTX Spark 笔记本的本地模型、智能体资源分配和游戏支持，可据此判断本地 AI 工作流能落到哪些具体环节。
Google DeepMind精选AI 评分8282 Google DeepMind 发布世界模型 Genie 4
Google DeepMind 发布新一代世界模型 Genie 4，原生支持多模态，可在生成画面的同时生成音乐、环境音和交互对话。Genie 4 支持用自然语言实时修改天气、镜头和场景人物，并借助 Gemini 3.8 Flash 作为循环中的引导智能体拆解多步任务、校验执行进度。
推荐理由：官方披露 Genie 4 的原生音频、实时文本操控与 Gemini 协同推理，可据此判断世界模型当前的能力边界。
Google DeepMind精选AI 评分6060 Google DeepMind 联合 WRI 与 IIASA 发布 10 米分辨率全球森林类型图 ForTy 2020
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology（ForTy）2020，把全球每块 10×10 米土地归入原始林、自然再生林、人工种植林、商品林、木本作物与农林、其他土地六类。
推荐理由：读者可了解一张10米分辨率全球森林类型图如何区分原始林、人工林与农林，以及它和欧盟零毁林法规的关系。
Microsoft Research精选AI 评分7878 微软研究院等证明31年悬而未决的KLS猜想
微软研究院张新志与Zhao Song证明1995年提出的KLS猜想，确认高维对数凹分布的最佳平面切割与任意形状切割之差可由与维度无关的常数界定。作者以人机协作的智能体搜索探索了100多条候选路径，由研究者筛选方向并完成论证，另有独立团队同日给出完整证明，随后出现Lean 4形式化验证。该结果使此前依赖该猜想的研究可无条件成立。
推荐理由：这篇论文证明了一个悬置31年的高维几何猜想，并展示了研究者如何引导AI智能体筛选上百条路径。
Microsoft Research精选AI 评分6262 微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和后量子安全上同时推进。
Google DeepMind精选AI 评分8080 Google DeepMind 发布 Gemini 4 Argon 安全与安保报告
Google DeepMind 公布 Gemini 4 Argon 的安全与安保报告，说明在网络安全和生物领域能力提升后，如何通过前沿防护措施防止滥用。Argon 在 12 个端到端模拟网络攻击场景中全部完成，上一代为 5 个；对抗测试中的违规行为减少近一半，外部生物越狱红队仅解锁不到 1% 的生物子任务。
推荐理由：原文披露了 Gemini 4 Argon 在网络安全与生物滥用防护、失准监控和提示词注入上的具体测试数据，可据此了解前沿模型的安全部署流程。
Berkeley AI Research精选AI 评分6060 K-Search 从 CUDA 迁移到 MLX，为 Apple Silicon 优化内核
Berkeley Sky Lab 与 IBM Research 将 K-Search 内核搜索框架扩展到 MLX，通过结构化 CUDA-to-MLX 翻译层让已有 CUDA 内核经验适配 Apple Silicon。
推荐理由：读者可以看到 CUDA 内核经验如何被结构化迁移到 Apple Silicon，以及翻译层在性能提升中的具体作用。
已经到底了