领星WMS宕机一周复盘：跨境ERP信任危机与AI代码隐忧
头部跨境ERP领星的WMS仓库管理系统自11月4日起故障，持续近一周，波及6000多家海外仓和数万卖家，出库、打单、订单同步大面积瘫痪，期间出现订单回流、单据重复等问题，多家海外仓被迫启用人工应急预案。
#安全/对齐
雷峰网AI 评分6060 The DecoderAI 评分7272 OpenAI 研究指训练选择导致前沿模型思维链透明度下降
OpenAI 安全团队新分析系统研究了哪些训练步骤导致前沿模型思维链透明度被侵蚀，追踪了无草稿纸推理能力与思维链可控性两个预警信号。研究从 GPT-5 到 GPT-6 Astra 归纳出四类成因：静默心算随基础模型困惑度下降而上升、特定架构在多步静默推理任务上性能曲线更陡、预训练后强化学习增强模型对自身思维链的操控、学生模型会从教师模型继承高思维链可控性。
AWS Machine Learning BlogAI 评分4545 DXC Technology 如何基于 Amazon Bedrock 构建多模型 AI 底座
DXC Technology 基于 Amazon Bedrock 构建了 DXC OASIS 的多模型 AI 底座，通过单一托管接口接入 Anthropic Claude、Amazon Nova、Meta Llama 及开放权重模型，并用 Amazon Bedrock Guardrails 统一执行内容过滤、PII 脱敏与拒答主题策略。
AWS Machine Learning BlogAI 评分5858 Amazon Bedrock Managed Knowledge Base 工具的细粒度访问控制教程
AWS 官方博客介绍如何让共享同一 Agent 和知识库的员工各自只能检索到自己有权查看的文档，核心原则是不让 LLM 决定用户身份。
TechCrunch · AI精选AI 评分7777 TechCrunch 分析黄仁勋被罢免可能损害 AI 行业的五种方式
TechCrunch 撰文分析 Nvidia CEO 黄仁勋因婚外情（其中一名对象被美国政府怀疑是中国间谍、且是一家被指向中国走私 Nvidia 芯片的新加坡 neocloud 高管）被董事会罢免后，可能损害 AI 行业的五种方式。
推荐理由：文章把黄仁勋离职拆成五个具体影响面，便于读者对照开源、安全、AI PC 和融资等既有议程评估冲击。
The Verge · AIAI 评分7474 黄仁勋间谍风波或冲击美国 AI 领先地位
The Verge 报道 Nvidia CEO 黄仁勋承认与一名被疑为中国间谍的女性有染，专家称此事可能扰乱美国整个 AI 产业并危及对华技术领先。
TechCrunch · AIAI 评分6262 Fireworks AI 遭网络攻击，Notion 约 1% 客户的 Notion AI 聊天记录被窃
Fireworks AI 确认遭网络攻击，攻击者攻破其云服务商进而访问开发系统，窃取了客户账单信息和部分数据集。已确认受影响的 Notion 表示约 1% 客户受波及，其 Notion AI 中使用 Insights 功能的用户聊天记录被窃，包含写入聊天的模型输入与输出；Notion 于 11 月 3 日断开与 Fireworks 的连接并删除相关数据。
The Verge · AI同事件AI 评分8383 Nvidia CEO 黄仁勋因丑闻辞职，CFO Colette Kress 出任临时 CEO
Nvidia CEO、总裁兼联合创始人黄仁勋在承认与 Megaspeed 高管 Alice Huang 的婚外情后，公司最初宣布调查；据 The New York Times 周三报道，又发现他与一名直接向其汇报的 Nvidia 高管存在另一段婚外情，当晚董事会会议后黄仁勋辞职，Nvidia CFO Colette Kress 出任临时 CEO。
同一件事，精选收录的是《黄仁勋辞任 Nvidia CEO，间谍丑闻致市值蒸发 $1.4 trillion》
The Verge · AI同事件AI 评分8383 Nvidia CEO 黄仁勋因间谍与婚外情丑闻辞职，CFO Colette Kress 出任临时 CEO
Nvidia 董事会宣布黄仁勋辞去 CEO、总裁及董事职务，即时生效，CFO Colette Kress 出任临时 CEO，前 Synopsys CEO Harvey C. Jones 成为公司史上首位董事会主席。
同一件事，精选收录的是《黄仁勋辞任 Nvidia CEO，间谍丑闻致市值蒸发 $1.4 trillion》
AWS Machine Learning BlogAI 评分5555 AWS 用反合一实现形式化策略的语义 diff 教程
AWS Machine Learning Blog 介绍用开源引擎 semi-persistent 对形式化策略做语义 diff，基于 e-graph 上的反合一找出两份策略的共享结构与真实分歧，声明代数性质与领域 rewrite 后可吸收纯表述差异。
The Verge · AI精选AI 评分7777 Nvidia 董事会准备解雇 CEO 黄仁勋，其随后宣布辞职
据 The Wall Street Journal 报道，Nvidia 董事会准备解雇 CEO 黄仁勋，起因是 The New York Times 报道其第二起婚外情传闻，涉及向其汇报的副总裁 Kimberly Powell；此前黄仁勋刚承认与被指为中国间谍的 Megaspeed 高管 Alice Huang 的婚外关系。
推荐理由：原文梳理了从传闻到辞职的完整时间线，读者可据此理解人事风波与公司应对节奏。
The DecoderAI 评分7474 Google DeepMind 发布 AlphaProof Code，四周验证 Signal 加密核心代码
Google DeepMind 发布 AlphaProof Code，一个能数学证明软件符合安全规格的 AI 系统，并在 Signal 加密协议上完成验证，用时四周，而这类工作通常需要数年。
The DecoderAI 评分6767 Helsing 发布 Clarity 智能体平台为武器系统准备目标推荐
德国国防科技公司 Helsing 在柏林发布 Clarity，一个基于智能体的软件平台，可将传感器数据等军方可访问的信息提炼为目标推荐，交由人工审核后打包给相应武器系统。
Ars Technica · AIAI 评分4242 Google DeepMind 用 AI 数学验证 Signal 关键部分
Google DeepMind 用四周时间对 Signal 的关键部分进行了数学形式化验证，成果暗示 AI 可能让形式化验证变得更实用。
Ars Technica · AIAI 评分6262 Grok Build 被曝泄露数千用户机密数据，含 SpaceXSI 自家应用
安全公司 Claroc 研究显示，SpaceXSI（SpaceX 与 xAI 合并后的名称）的 vibe-coding 智能体 Grok Build 通过应用分享链接泄露数千用户的机密数据，包括内部商业计划、广告提案、体检结果和员工姓名与工号。
Microsoft Research精选AI 评分7171 微软研究 Lazarus 后门技术：重编程休眠神经元可让 AI 智能体执行恶意命令
微软研究人员发现名为 Lazarus 的后门技术，重编程 LLM 中不到 10 个休眠神经元、无需训练即可给智能体植入后门，模型通过标准评测并表现正常，直到触发条件出现（如时钟跨入 2027 年的午夜）才下载并运行攻击者代码。
推荐理由：原文说明了后门只需改动不到 10 个休眠神经元且无需训练，读者可据此理解模型权重完整性为何成为部署环节的关键风险。
Google DeepMind精选AI 评分8888 Google DeepMind 开源 Gemini 4 Carbon 模型正式开放使用
Google DeepMind 宣布 Gemini 4 Carbon 正式向开发者、企业、科学家和消费者开放，定位为最强模型，主打网络安全能力与长程智能体工作流，适用于复杂多步编码调试和开放式科学研究，消耗 token 多于 Gemini 4 Argon。
推荐理由：原文给出 Carbon 与 Argon 的分工、定价和多项基准名次，可据此判断它在复杂任务中的定位与迁移成本。
Ars Technica · AIAI 评分6262 DeepMind 发布 Gemini Robotics 2.5 并推出开源安全基准 ASIMOV-jailbreak
Google DeepMind 发布新一代 Gemini Robotics 平台 2.5 版本，并推出开源安全基准 ASIMOV-jailbreak。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，首次用 AI 在这一深度形式化验证广泛部署的密码学协议 Signal 的实际代码，也是任何方法首次验证此类协议的实现。
推荐理由：原文给出验证深度、耗时与人工复核比例等关键数字，读者可据此评估 AI 形式化验证相对传统方法的效率差异。
Google DeepMind精选AI 评分7373 Google DeepMind 发布 Gemini Robotics 2.5 视觉-语言-动作模型
Google DeepMind 发布 Gemini Robotics 2.5，称其为迄今最强的视觉-语言-动作（VLA）模型，提升机器人可学技能的广度与学习速度。
推荐理由：原文给出任务广度、工厂实测成功率与安全评测三层数据，读者可据此判断该模型在真实工业场景的可用程度。
MIT Technology Review · AIAI 评分5858 Nancy Pelosi 的继任者 Scott Wiener 胜选后表态推动联邦 AI 监管
MIT Technology Review 记者 Grace Huckins 采访了刚赢得 Nancy Pelosi 旧金山席位的加州州参议员 Scott Wiener，他在胜选数小时后即呼吁国会在 AI 风险上采取行动，援引 METR 关于 Anthropic 的报告称递归自我改进正让监管时间迅速耗尽。
NVIDIA BlogAI 评分4343 韩国 AI 生态借 NVIDIA 推进 Agentic AI 安全
NVIDIA 宣布韩国多家企业推进 Agentic AI 安全：AIM Intelligence 将 Starfort 平台与 NVIDIA OpenShell 集成，结合其恶意指令与数据泄露检测能力，Hyundai Motor Group 则在探索 NVIDIA NemoClaw blueprints 与 OpenShell runtime。
Microsoft Research精选AI 评分6262 Microsoft Research 推出 PDD Kit，用形式化验证约束智能体生成的全栈 Web 应用
Microsoft Research 发布研究原型 PDD Kit，把形式化验证引入日常软件开发：它在 GitHub Next 的 Chopin 中与开发者协作，把自然语言意图转成 Verus 形式化规范，证明智能体写的代码对每个输入都满足规范，证明覆盖不到的部分则回退为测试。
推荐理由：原文给出从意图到形式化规范再到证明的完整工作流，可迁移之处在于把代码评审重心前移到意图评审。
MIT Technology Review · AIAI 评分5656 逆向博弈论或可约束AI智能体行为
MIT Technology Review 报道，部分对齐研究者转向逆向博弈论（机制设计），通过设计激励规则让AI智能体遵守规则，而非依赖解读模型内部或价值观训练。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 宣布推出下一个前沿模型 Gemini 4 Carbon，称其为迄今最强模型，具备 SOTA 网络安全与长时程能力，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：原文给出了网络安全与长时任务的具体基准分数和分阶段开放路径，读者可据此判断其面向的首批用户与能力边界。
GitHub Blog · AI & MLAI 评分5757 GitHub 发布基于 ModernBERT 的密钥扫描分类器，误报更少、成本更低
GitHub 发布专为密钥扫描训练的上下文感知分类器，采用两阶段管线：正则先高召回地生成候选，再由微调的 ModernBERT 结合文件路径、变量名和周边代码判断是否为真实密钥。
GitHub Blog · AI & ML精选AI 评分6262 GitHub 论述密钥保护需随软件规模同步扩展
GitHub 产品负责人 Erin Havens 撰文指出，如今三分之一的 pull request 涉及 AI agent，一年前不足十分之一，若按此速度两年内多数代码可能由 agent 写成。
推荐理由：文章用九个季度数据拆解了泄露密钥与 AI 编码的因果误读，并给出可迁移的预防与修复分工思路。