Fireworks AI 遭网络攻击，Notion 客户聊天记录被窃
Fireworks AI 确认遭网络攻击，攻击者入侵其云服务商并进入开发系统，窃取了部分客户的账单信息和数据集。受影响客户 Notion 表示约 1% 的客户受影响，其使用 Insights 功能的 Notion AI 客户聊天记录被窃取，Notion 已于 11 月 3 日断开与 Fireworks 的连接并删除相关数据。
#安全/对齐
TechCrunch · AIAI 评分6060 The DecoderAI 评分6161 Google DeepMind 发布 AlphaGenome 2，基因组预测精确到单细胞类型
Google DeepMind 发布基因组研究模型 AlphaGenome 2，它把特定细胞类型作为额外输入条件，预测基因变异对该细胞类型的影响，找出的相关基因变化约为前代的两倍。
The DecoderAI 评分6060 澳大利亚拟出台 AI 安全法案，要求前沿模型厂商接受独立测试
澳大利亚政府宣布一项法律，首次对在该国运营的前沿 AI 公司施加强制性安全规则，目标是风险最高的先进模型。前沿模型厂商须开放独立审计、持续开展安全检查、公布安全框架并立即向政府报告安全事件，其中上报要求部分针对 AI 智能体失控的早期预警。新设监督机构将与澳大利亚 AI Safety Institute 共同执法并对违规处以重罚，更多细节将在咨询结束后公布。
The Decoder精选AI 评分8383 Google DeepMind 的 AlphaProof Code 用四周完成 Signal 加密核心验证
Google DeepMind 公布 AlphaProof Code，声称能让 AI 以数学方式证明软件符合安全规范，并在 Signal 的加密协议上完成通常需数年的验证工作，用时四周。
推荐理由：DeepMind 用 AI 智能体在四周内完成 Signal 加密核心的形式化验证，并说明约 1% 代码需人工复核这一人机分工细节。
The DecoderAI 评分5757 Helsing 推出 Clarity 平台，用 AI 智能体为武器系统准备打击目标
德国国防科技公司 Helsing 在柏林发布名为 Clarity 的智能体软件平台，可处理传感器数据、开源情报和书面报告等信息，由大量专用 AI 智能体识别部队、设施和阵地，生成目标建议后打包给相应武器系统。
Ars Technica · AI精选AI 评分7878 Grok Build 编程智能体泄露大量机密信息，部分属于 SpaceXSI
安全公司 Claroc 的研究显示，SpaceXSI 的 vibe-coding 智能体 Grok Build 通过分享链接泄露了数千名用户的数据，其中包含商业计划、广告提案、医疗检查结果、员工姓名和工号等敏感信息。
推荐理由：安全公司发现 Grok Build 的分享链接可被枚举，暴露用户数据，其中包括 SpaceXSI 自家应用中的内部资料。
Microsoft Research精选AI 评分6868 微软研究揭示 Lazarus：改写休眠神经元即可后门 AI 智能体
微软研究人员发现名为 Lazarus 的后门技术，只需对 LLM 中不到 10 个休眠神经元做权重改写、无需训练，就能让智能体在触发条件出现时执行攻击者命令，同时照常通过标准评测。
推荐理由：微软研究者披露不重新训练即可后门智能体的方法，并解释来源校验为何成为模型部署的关键防线。
Google DeepMind精选AI 评分8989 Google DeepMind 发布 Gemini 4 Carbon 模型
Google DeepMind 发布 Gemini 4 Carbon，面向开发者、企业、科学家和消费者开放，强调网络安全能力、长周期智能体工作流和科学推理。
推荐理由：官方给出 Gemini 4 Carbon 在 CursorBench 4.0、WANDR 等基准的排名与每任务成本，可据此判断它与 Argon 的分工。
Google DeepMindAI 评分7777 Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，这是一个多 LLM 智能体形式化验证框架，首次用 AI 对广泛部署的加密协议 Signal 的实际代码做深度形式化验证。
Microsoft Research精选AI 评分6464 微软研究院发布 PDD Kit，用形式化证明校验智能体编写的全栈 Web 应用
微软研究院发布研究原型 PDD Kit，把开发者的自然语言意图转成 Verus 形式规范，再证明编码智能体写出的代码对每个输入都满足该规范，证明无法覆盖的部分退回测试验证。
推荐理由：微软研究院展示把自然语言意图转成 Verus 形式规范、再由证明约束智能体写码的流程，并公开了信任边界的处理方式。
Google ResearchAI 评分5454 Google Research 提出 Agile Deliberation：让 AI 帮助人厘清主观概念的灰色地带
Google Research 提出 Agile Deliberation 框架，把主观视觉分类器的定义过程变成人与 AI 的迭代对话：先由用户把概念拆成子类与排除项，再由视觉语言模型主动挑出语义边界模糊的图片，让用户澄清真实意图，反馈直接进入自动提示词优化循环。
Mistral AI精选AI 评分8989 Mistral 开源万亿参数多模态模型 Mistral Large 4（Le Chonk）权重
Mistral 发布 Mistral Large 4（Le Chonk）的开放权重，这是一个万亿参数的原生多模态模型，此前已在本月初开启公开预览。
推荐理由：原文给出万亿参数开源权重模型在编码与防御性安全基准上的具体成绩，以及三种推理模式和定价，可据此判断自托管选型。
Google DeepMind精选AI 评分8383 Google DeepMind 发布 Gemini 4 Carbon 前沿模型
Google DeepMind 发布 Gemini 4 Carbon，称其在网络安全和长周期任务上能力最强，在 Artificial Analysis Intelligence Index v5.0 上以 59 分排名第一。
推荐理由：官方给出 Gemini 4 Carbon 在网络安全与长周期智能体任务上的基准成绩和分阶段开放路径，可与两周前的 Argon 对比。
Import AIAI 评分6363 Import AI 478：用数学做对齐、ProgramBench，以及 Mirendil 展示的 RSI 迹象
Import AI 第 478 期汇总了几项进展：AI 安全初创公司 Resolution 让智能体在约一周内自动形式化奇点消解，花费约 100B 输入 token、300M 输出 token、约 13.5 万美元和约 60 万行 Lean 代码，并认为这为研究损失曲面几何与泛化关系打下基础。
Google Research精选AI 评分6262 Google Research 把基础模型带到结核病筛查一线
Google Research 在 IDWeek 2026 分享了把基础模型用于结核病筛查的路径，从胸部 X 光算法到与 Nexus AI 合作取得 CE MDR class IIb 认证的临床工具。
推荐理由：Google 复盘从影像基准到 CE 认证工具与开源模型的十年路径，展示了医疗 AI 跨越转化鸿沟所需的多方协作。
GitHub Blog · AI & ML精选AI 评分6767 GitHub 将 ModernBERT 分类器用于 push 保护，拦截非结构化密钥
GitHub 与 Microsoft Applied Sciences 合作构建 ModernBERT 分类器，把 push 保护扩展到无固定格式的密钥，候选批次评估耗时不到 2 毫秒，有望使可拦截的密钥数量翻倍以上。
推荐理由：文章给出了 GitHub 秘密扫描的季度数据，并说明新分类器上线后如何把防护提前到 push 之前。