Moonshot AI 的 Kimi K3.1 Pro Highspeed 已可在 Amazon Bedrock 通过 global.moonshotai.kimi-k3.1、us.moonshotai.kimi-k3.1、in.moonshotai.kimi-k3.1 三个跨区推理 Profile 调用，沿用 Kimi K3 同一套端点和 API。
推荐理由：给出了与现有 Kimi K3 的迁移路径、推理强度控制和 Flex tier 成本方案，开发者可以快速评估接入成本和适用场景。
微软研究者发现名为 Lazarus 的后门技术，仅修改大语言模型中少于10个休眠神经元即可让AI代理在常规任务中静默执行恶意命令，无需额外训练且能正常通过评测。触发条件可为普通日期变更等日常输入。微软 Foundry 已通过绑定可信发布源、扫描容器环境及探索前沿Agent权重异常检测等方式进行防护，建议将模型权重像代码一样审计溯源以确保安全性。
推荐理由：揭示仅修改少量休眠神经元即可植入后门的低成本攻击方式及微软对应的重量审计与溯源防护方案。
Google DeepMind 正式发布 Gemini 4 Carbon，定位为当前最强旗舰模型，面向复杂知识工作、多步编码调试和开放式科学研究。在 CursorBench 4.0、Perplexity WANDR 和 Zapier AutomationBench 上排名首位，任务成本低于竞品 2 倍以上。模型已通过 API 向开发者、企业和科学家开放，同时对齐与安全指标同步提升。
推荐理由：Google 发布最新旗舰模型 Gemini 4 Carbon，在科学推理、代码开发和网络安全领域达到前沿水平，同时强调安全对齐与防滥用措施。
Google DeepMind 发布 Gemini Robotics 2.5，这是目前最强大的视觉-语言-动作（VLA）模型，在超过200项任务上进行了评估，相比此前基线任务成功率提升30%至100%，完成速度提升20%至30%。
推荐理由：Gemini Robotics 2.5 在真实产线测试中实现96%成功率并引入机器人对抗越狱基准，可评估其在物理场景中的实际落地进展。
Google DeepMind 发布 AlphaProof Code，一个结合人类专家与多LLM智能体的形式化验证框架，首次对广泛部署的 Signal 协议编译代码完成了数学级安全属性证明，将传统需专家数年完成的任务缩短至四周，并开源验证工件供社区使用。
推荐理由：该框架首次以AI驱动形式化验证了广泛部署的Signal加密协议实现，为高安全关键代码的自动证明提供了可扩展路径。
Amazon Bedrock 正式提供 Claude Fable 5.2 和 Mythos 5.2，前者面向编码、数学与科学等通用技术负载，后者仅在合规验证后可用于网络安全和生命科学等高敏场景。
推荐理由：官方给出了各模型定位、数据保留策略与 claude-api 迁移技能的实操指引，有助于评估上床风险并平滑升级现有代码。
AWS 宣布 NVIDIA Nemotron 3.5 Super VL 正式可在 SageMaker JumpStart 部署，提供 NVFP4（G7 实例）和 BF16（ml.p5en.48xlarge）两个变体。
推荐理由：官方给出了部署步骤、推理性能数据及与BF16基准权重的对比，帮助评估在SageMaker上的实际可用性。
AWS 推出针对 AWS Quick 的首款品牌宣传活动，该产品是专为工作场景构建的 AI 工作空间。目前已应用于 3M、BMW、Mondelez、New York Life 等领先企业，帮助团队基于已有数据和应用进行研究、分析与执行。
推荐理由：原文详细介绍了产品的核心定位与安全特性，读者可据此评估它与传统AI助手在企业场景的差异。
Amazon SageMaker Inference 推出 GPU Partitioning 功能，基于 NVIDIA MIG 将单个物理 GPU 划分为最多七个独立分区，每个分区提供固定份额的计算单元和专属显存，并在硬件层面强制隔离。
推荐理由：明确列出了各实例族的可用分区规格和API配置示例，读者可直接对照自身流量特征选择合适尺寸。
Google DeepMind 发布 Gemini Omni 1.2 Flash，原生支持最长 15 秒视频生成与多轮对话编辑，参考跟随和一致性更强，价格较 1.1 下降 30% 至每 720p 每秒 0.07 美元，已面向 Gemini API 和 Gemini for business 全面开放。
推荐理由：原文给出了 15 秒视频、多轮对话编辑等新能力和降价 30% 的定价，读者可以据此评估它对视频创作工作流的影响。
Google DeepMind 宣布在 Antigravity 上推出 Cheminformatics Skills，基于 RDKit、ChEMBL 和 PubChem，面向计算化学家和实验化学家提供分子检索、构效分析、匹配分子对分析和反应路线设计能力。
推荐理由：Google Antigravity 上线 Cheminformatics Skills，用真实肺癌药物案例演示了一小时完成从文献检索到分子设计的完整工作流。
Gemini 4 Carbon 是 Google DeepMind 最新发布的强大多模态模型，在更新的 Artificial Analysis Intelligence Index v5.0 中以 59 分位居榜首。
推荐理由：文章给出了网络安全与长程任务能力的具体提升数据和评测排名，可据此判断其在实际工作流中的适用边界。
Google DeepMind 发布 Genie 4，一种新世模式型，原生支持视觉、音频和交互对话的同步生成，基于 Gemini 模型提供复杂推理能力，用户可通过自然语言实时修改场景并操控物理仿真与人像行为。该模型已作为研究预览面向受信任测试者开放，后续将逐步向 Google AI Ultra 订阅用户及 Gemini API 和 Google AI Studio 早期合作伙伴开放。
推荐理由：Google DeepMind 发布 Genie 4 世界模拟模型，支持实时自然语言操控与原生音频生成，目前向受信任测试者开放研究预览。
Microsoft Research研究员Xinzhi Zhang与合作者证明Kannan-Lovász-Simonovits（KLS）猜想，确立了log-concave分布中简单超平面切割始终能以固定因子捕捉最窄瓶颈的维度无关几何原理。
推荐理由：证明了维度无关的几何原理，并展示了研究者主导AI搜索路径的有效协作方式。
GitHub 发布 ReviewBench，基于 1.039 亿条真实 PR 构建的 219 条开源 PR 评测集，覆盖 19 种语言。基准采用人工评审、前沿 LLM 和静态分析多源合并生成黄金标签，并与资深工程师独立复核达成 96.6% 一致性；提供 grounded 与 augmented 两套精确率/召回率指标及可调节的 Fβ 评分。
推荐理由：官方公开了数据集、评分规则和自建跑分工具，读者可据此比较不同代码审查 Agent 的实际表现。