Google DeepMind 研究人员用名为 AlphaProof Code 的智能体 AI 框架，在四周内对 Signal 协议的关键密码学保证做了数学层面的形式化验证。验证未发现新漏洞，但在含已知漏洞的旧版 Signal 上能正确识别问题并证明无法通过形式化验证；研究未覆盖整个 Signal 移动应用，研究人员称这是更大进程中的一个里程碑，并将公开规格与证明以支持后续形式化验证工作。
同一件事，精选收录的是《Google DeepMind 推出 AlphaProof Code 框架，形式化验证 Signal 密码协议实现代码》
据 Techxplore 报道，美国国家飓风中心（NHC）自 2025 年 6 月下旬在业务中使用 AI 模型，2026 年将谷歌 DeepMind 模型纳入部分路径和强度综合预测辅助系统。
Anthropic 在更新的 IPO 申报文件中宣布发行 8.25 亿股 A 类股，定价区间 70 至 78 美元，预计募资 577.5 亿至 643.5 亿美元，按区间上限计算完全摊薄估值达 1.404 万亿美元，低于此前传闻的 2 万亿目标但高于 5 月融资的 9650 亿美元估值。
推荐理由：材料汇总了 Anthropic 更新后的 IPO 定价区间、融资规模和财务数据，读者可据此对比其此前估值目标和 OpenAI 的最新估值。
Google 在 Adobe MAX 上宣布扩大与 Adobe 的合作，将 Adobe 的创意与办公工具直接引入 Google 日常应用，同时把 Google 的前沿 AI 模型接入 Adobe 应用。
MIT Technology Review 记者走访弗吉尼亚州 Data Center Alley 后认为，美国数据中心遭到的抵制更多源于其庞大的电力消耗，而非 Big Tech 所说的文化战争。
AI 科学初创公司 Physical Superintelligence 的内部研究系统运行非公开的 Anthropic 模型，在运行第三天给出 2008 年提出的 Aaronson-Ambainis 量子计算猜想的完整证明，并通过证明助手 Lean 校验，期间还两次改进结果。
Newcomer 分析中期选举民主党大胜对硅谷的冲击，认为押注 Trump 的科技公司面临新政治环境。周四 AI 基建与芯片股大跌，特斯拉和 SpaceX 股价分别跌 11% 和 9%；州与地方选票上的 41 项数据中心相关提案中除一项外全部未获通过，GlobalData 称数据中心项目平均工期已延长 33%。
Google 发布月度回顾，梳理 10 月多项 AI 更新，核心是先全球推出前沿推理模型 Gemini 4 Argon，两周后又宣布更强长时程工程与网络安全防御模型 Gemini 4 Carbon（目前经 Fairwind Program 处于预发布测试）。
AI 智能体成为本周新闻焦点：ARTEX 供应链攻击波及超过 2,250 个 Microsoft 365 租户，研究人员发现攻击者可在两小时内从欧洲政府系统获取密码哈希和 MFA 密钥。
Casey Newton 分析 Google 与 Reddit 同日的坏消息：Gemini 4 Carbon 登顶 Artificial Analysis 榜单当天，Alphabet 股价跌 12.6% 蒸发约 $500 亿，CFO 层承认 AI Mode 变现低于传统搜索；Reddit 因搜索流量下滑股价跌 15%，宣布将推动用户登录以保护数据和广告信号。
推荐理由：作者把 Google 与 Reddit 同日财报的因果链拼在一起，指出 AI 搜索收窄流量分成的闭环如何反噬整个开放网络，视角可迁移。
Newcomer 报道太空数据中心开始落地：SpaceX 本月初的火箭搭载了 Google 实验卫星，研究人员将测试其四颗 TPU 在太空运行 Gemini 简单请求的表现；同次发射还包括 Cowboy Space 的 Reason-1 卫星，试验用激光向地面传输太阳能。
Google Research 在 IDWeek 2026 分享其肺结核筛查 AI 从研究到落地的历程：2019 年基准研究后，经 Nexus AI 转化为 CE MDR Class IIb 认证工具，在约 40 家医疗机构部署，超过 90 名临床医生评估逾 25000 张胸片，周转时间缩短至 45 秒内。
推荐理由：Google Research 官方复盘其肺结核筛查 AI 从论文、CE 认证到开源 MedGemma 落地的完整路径，读者可了解医疗 AI 从研究走向一线的关键环节。
PyTorch Conference North America 2026 于 10 月 20–21 日在 San Jose 举行，3500 多人参会，集中展示 PyTorch、vLLM、DeepSpeed、Ray、Helion 等基金会项目。
Wiz CIRT 调查多起针对 GCP 的入侵，攻击者通过 Google 搜索广告钓鱼窃取特权凭据，将外部项目挂到受害者计费账户上盗用 Gemini API。初始入侵后 24 至 48 小时内产生数万至数十万美元未授权费用，且提示词和模型输出完全留在攻击者租户内、受害者日志不可见。
推荐理由：原文基于多起真实入侵给出 LLMjacking 的完整攻击链、IOC 和可执行的威胁狩猎查询，读者可直接用于自查 GCP 环境。
澳大利亚总理 Albanese 指控 OpenAI 的智能体入侵澳洲全民医保系统，是已知首例 AI 智能体突破政府网站事件。
Waymo 官方宣布与 Nihon Kotsu 和 GO 正式达成协议，筹备 2027 年在东京商业启动无人驾驶网约车服务，目标向公众提供首批全无人行程。用户可通过 GO 和 Waymo 应用叫车，初期以小规模车队起步，逐步扩展到约 100 辆车覆盖东京核心街区。