Google 在 Android Dev Summit 上发布 Android Studio Rabbit 2，推出 Bring Your Own Agent 功能，开发者可通过开放的 Agent Client Protocol 在 IDE 内运行 40 多种编码智能体，包括 Claude Agent、Codex 和 Google Antigravity。
推荐理由：Android Studio 开放第三方智能体接入，并给出 CLI 与 MCP 层面的配套改动，可据此判断移动开发工作流的变化。
Mistral 发布了万亿参数开源模型 Mistral Large 4（ML4，昵称 Le Chonk）的权重，企业与政府可自行下载部署，权重已在 Hugging Face 和 API 上线。
推荐理由：Mistral 开放万亿参数模型权重，并给出与 GLM-5.3 的 token 消耗对比，可作为观察开源与闭源路线之争的样本。
The Verge 的 Decoder 播客邀请 SemiAnalysis 分析师 Joey Brookhart 解读 Anthropic 递交的 S-1，该文件显示 Anthropic 已积累 700 亿美元以上 ARR，并计划在纳斯达克上市，估值区间为 1.5 万亿至 2 万亿美元。
推荐理由：借 Anthropic S-1 的审计数据拆解前沿实验室的单位经济，并讨论算力承诺与 AGI 投入之间的取舍。
Google DeepMind 在 Argon 发布两周后推出 Gemini 4 Carbon，称其在网络安全与长周期任务上达到 SOTA，并以 88.2% 的 SEC-bench Pro 漏洞发现成绩作为主打数据。
推荐理由：汇总 Gemini 4 Carbon 在多个独立榜单与安全指标上的表现，并列出访问限制与定价差异。
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全与长程任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出网络安全与长程智能体任务的基准数据，并说明分阶段开放路径，可据此判断前沿模型在攻防场景的落地节奏。
NVIDIA 公布 RTX Spark Windows 笔记本的多项更新，包括开放权重语音模型 Nemotron 3.5 Transcribe、NVIDIA App 中在前后台应用与后台智能体之间分配 GPU 资源的控制项，以及 LFM3 系列模型的 day-zero 支持。
推荐理由：原文列出 RTX Spark 笔记本在语音模型、GPU 资源分配和游戏支持上的具体变化，可据此判断本地智能体工作流的资源取舍。
Google DeepMind 发布世界模型 Genie 4，原生支持多模态，可在生成世界的同时生成音乐、环境音与交互对话。Genie 4 支持用自然语言实时修改天气、镜头和场景元素，并借助 Gemini 3.8 Flash 作为引导智能体拆解多步任务、校验执行进度。
推荐理由：官方披露 Genie 4 的原生音频、实时语言操控与 Gemini 协同推理，可据此判断世界模型当前的能力边界。
Google DeepMind 发布 Genie 4 世界模型，称其在几乎各方面都优于 Genie 3，模拟的物理效果和人物更真实。该模型无需预先渲染环境或编写交互逻辑，用户描述需求后即可实时逐帧生成可探索的虚拟世界，部分改进得益于 Google 更新的 Gemini 模型。DeepMind 将世界模型视为通往 AGI 的关键环节，认为其可用于为实体机器人构建训练环境或加速创意领域的原型设计。
推荐理由：Genie 4 在 Genie 3 基础上改进物理与人物模拟，并接入更新的 Gemini 模型，可观察世界模型向 AGI 训练环境的演进路径。
Anthropic 于周一公开提交 S-1，计划在纳斯达克以代码 ANT 上市，文件显示公司已跨入经营盈利区间。2026 年上半年营收 16.3B 美元，第二季度单季 11.6B 美元、同比增长 1368%，第二季度经营利润 974M 美元，上半年毛利率 85%。
推荐理由：S-1 披露的营收、毛利与算力承诺，让读者能看清头部模型公司的商业结构与风险敞口。
微软研究院的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想，证明高维对数凹分布下，最佳平面切割与任意形状最佳切割的差距不超过一个与维度无关的固定常数。
推荐理由：这条内容讲的是研究者如何用智能体搜索配合人工筛选，在约一百条研究路径中找出关键判据，最终完成证明。
微软研究院发布零知识虚拟机 Magnetar，可直接证明 Rust、Go、C 编写的 RISC-V 程序执行，在 15 个基准上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
推荐理由：微软研究院梳理十余年零知识证明研究脉络，说明 Magnetar 如何在速度、通用性和密码学假设三方面同时推进。
Google DeepMind 开始广泛推送 Gemini 4 Argon，并同步扩大 Fairwind Program 的可信网络安全防御者范围。该模型在 12 个端到端模拟网络攻击场景中全部通过，上一代为 5 个；在对抗集上违规请求减少近两倍，在 Gray Swan 间接提示注入基准上 15 次自适应攻击的成功率降至 0.7%。
推荐理由：原文披露了 Gemini 4 Argon 在网络安全与生物风险上的防护分层，以及智能体越界行为的实测数据，可供关注前沿模型安全设计的人参考。
Google DeepMind 发布前沿模型 Gemini 4 Argon，今日起通过 AI Studio 和 Gemini API 向开发者与企业开放，Google AI Ultra 与 Pro 订阅者可在 Gemini 应用和 Search 的 AI Mode 中使用。
推荐理由：官方给出定价、基准排名与多个内部落地案例，可据此判断前沿模型在编码与科研工作流中的实际位置。
微软研究院开源 Agent Lightning v1.0，一个约 3500 行代码的轻量 Agentic RL 框架，提出 Harnessed Agentic RL 范式，让部署时使用的 agent harness 直接参与强化学习，无需在训练框架内重写 agent。
推荐理由：微软开源 3500 行代码的 Agent RL 框架，用真实 harness 训练，并给出 6000 样本提升 14.6 个点的完整流程。
Berkeley Sky Lab 与 IBM Research 的研究者把 K-Search 内核搜索框架扩展到 MLX，并加入结构化的 CUDA 到 MLX 翻译层，让已有 CUDA 内核作为知识库被改写为 Apple Silicon 内核。
推荐理由：作者展示了把 CUDA 优化经验迁移到 MLX 的具体做法，并给出注意力与 Mamba 两个内核的实测对比。