AI 自动挑选的高价值内容
据多家媒体报道，OpenAI将新一轮融资目标从300亿美元下调至200亿美元，估值从1.4万亿美元降至1.25万亿美元。截至周五承诺截止日，实际投资承诺约110亿美元，不到最初目标的一半。本轮融资由阿联酋财团牵头，MGX等阿联酋国有科技基金为核心出资方，Founders Fund、安德森・霍洛维茨、软银等参与；OpenAI计划扩大募资范围至家族办公室和高净值个人投资者。
推荐理由融资目标从300亿美元下调至200亿美元，并列出认购不足与市场对AI资本开支的重新定价，可作为观察AI融资周期的样本。
Parameter Labs 披露了一条针对 ChatGPT HTML 预览（原 Canvas）沙箱的攻击链，攻击者可构造分享链接，在其他已登录用户访问时窃取私有数据或代其执行操作。攻击从 MathLive 虚拟键盘的 postMessage 接收代码使用 innerHTML 入手，注入无沙箱限制的 iframe，再借 CSP 允许的 YouTube oEmbed 端点反射执行 JavaScript。OpenAI 已修复该漏洞并支付 5000 美元赏金。
推荐理由原文完整还原了一条从沙箱 iframe 到读取用户私有数据的攻击链，可帮助理解 HTML 预览类功能的隔离边界。
苹果官网公告显示，千问将进入Siri、写作工具和视觉智能，12月随iOS 27.3推送，本次更新不包含Siri AI及WWDC宣布的下一代功能。作者梳理了从2025年2月蔡崇信公开确认合作到7月备案、10月31日公告的20个月过程，并认为苹果看重的是千问覆盖端侧到云端的完整模型尺寸与阿里云私有化部署能力。文中还提到IDC数据显示2026年上半年阿里云在中国大语言模型MaaS市场占46.6%份额。
推荐理由文章梳理苹果与阿里合作的时间线与三道筛选关，并借奥运案例说明阿里承接系统级嵌入的能力积累。
推荐理由彭博数据给出五家科技巨头未来数据中心承诺的规模与结构，可对照各家算力投入的差异。
Google 收到 Project Suncatcher 原型卫星的首次回复，在轨的数据中心级 TPU 成功运行 Gemma 4 开放模型并返回一首关于太空的俳句。该卫星于 10 月 1 日发射，此前已完成主机与 TPU 托盘上电及早期机器学习测试。接下来 Google 将测试 TPU 在轨道热应力和辐射暴露下的表现，为 2027 年双星互联目标铺路。
推荐理由Google 首次在轨 TPU 上跑通 Gemma 4 并收到模型回复，读者可了解太空 AI 算力这一长期研究路线的当前进展。
Axiom 团队用多智能体系统 AxiomProver 在 24 天内将约 15000 页的有限单群分类定理（CFSG）证明形式化为 Lean 代码，产出 4310 万行代码库。过程中 AI 记录下数百处异常，其中 34 处为重大逻辑偏差，包括 John Walter 1986 年论文中一处关键闭包断言不成立，AI 给出反例 PSL₂(49)。团队随后联系群论学者 Richard Lyons 和 Ronald Solomon，由 AxiomProver 证明新定理 Preservation of simple tops 补上缺口。
推荐理由Axiom 用多智能体系统在 24 天内形式化有限单群分类定理，并指出原证明中的逻辑漏洞，读者可据此了解 AI 参与数学验证的具体路径。
AMD 宣布以约 82 亿美元全股票收购李飞飞创立的 World Labs，交易完成后李飞飞出任 AMD 执行副总裁兼首席科学家，直接向苏姿丰汇报，World Labs 约 70 人团队以相对独立的研究单元并入。文章回顾了李飞飞从 ImageNet、AI 民主化到空间智能的三次方向选择，并指出这次收购比 World Labs 2026 年 2 月 C 轮融资后 54 亿美元的估值高出约 52%。作者认为后续要看 Atlas、Marble 在 MI450 上的性能提升能否延续 MI325X 上 4 倍提速的曲线，以及其他空间智能团队是否因此转向 AMD 硬件。
推荐理由文章梳理李飞飞从 ImageNet 到 World Labs 的三次方向选择，并给出 AMD 收购后判断空间智能成败的两条具体标准。
推荐理由Cursor 官方披露扩展市场出现被篡改的 Claude Code 扩展，并给出受影响范围与处置过程，可供关注 IDE 插件供应链风险的人参考。
Cursor 在 VS Code 扩展市场发现被恶意篡改的 Anthropic.claude-code 2.1.313，该版本并非 Anthropic 开发，最多影响 5000 名用户。恶意代码会收集主机与用户信息、尝试写入攻击者 SSH 公钥并建立反向 SSH 隧道，但因权限限制该步骤在多数 macOS 和 Windows 主机上会失败。Cursor 已下架该版本、重建市场并关停攻击者服务器，同时给出检测 svc-telemetry 公钥的命令和 macOS、Windows 清理脚本。
推荐理由Cursor 官方披露插件市场被植入恶意版本，并给出检测命令与清理脚本，可供使用该扩展的开发者按步骤自查。
据 The Information 报道，DeepSeek 第二轮融资已筹集 1055 亿元人民币（约合 158 亿美元），吸引近 30 家投资者参与，国资出资占比约 27%，较首轮的 2% 大幅提升。腾讯两轮各出资 100 亿元，宁德时代及其董事长曾毓群两轮分别出资 50 亿元和 100 亿元，长鑫存储、中芯国际、vivo、美团、吉利、美的、立讯精密、携程、小红书等产业方也在投资方之列。报道援引知情人士称，英伟达高端芯片价格上涨和对 AI 泡沫的担忧，是 DeepSeek 中途将募资规模扩大一倍的原因。
推荐理由融资细节披露了投资方构成与国资占比变化，可据此观察 DeepSeek 的资本结构和产业方参与程度。
成立不到两个月的Physical Superintelligence（PSI）称，其自研AI科研系统Emmy在量子信息理论的5个开放问题上取得成果，论文、Lean形式化证明和验证代码已发布在GitHub供审查。这5道题来自德国物理学家Reinhard Werner于1999年建立的开放量子问题目录，横跨纠缠提纯、量子场论、高维量子通信、量子信道容量与量子因果律五个方向，其中OQP 2、OQP 12、OQP 27在本世纪初即被收录。Emmy将难题拆解为可验证的数学子假设，再交由Lean形式化证明器、符号计算引擎和高精度验证代码筛查，编译通过才视为成立。PSI于今年9月亮相，已完成5800万美元种子轮融资，由Breakthrough Energy Ventures领投。
推荐理由一家成立不到两个月的公司用自研系统挑战27年历史的量子开放问题目录，读者可据此观察AI科研系统的验证路径。
丰田与 Waymo 宣布自动驾驶合作进入下一阶段，将于 2027 年在日本启动丰田 bZ4X 自动驾驶车队的初步测试与验证，随后数年再推广到英国及其他 Waymo 运营市场。车辆由丰田在爱知县丰田市的高冈工厂生产，从整车组装到集成 Waymo 自动驾驶硬件均在同一工厂完成。Waymo 联合 CEO Dmitri Dolgov 称，在 Waymo 运营区域其严重伤害事故率比人类驾驶员低至多 20 倍。
推荐理由原文给出丰田与 Waymo 的合作时间表与生产安排，读者可据此判断自动驾驶出租车在日本的落地节奏。
10月30日凌晨，币安标记为「Binance 14」的热钱包被提交50条EIP-7702授权，3分24秒后167,464枚ETH、16.15亿枚USDT及63种代币被扫走，跨链损失55亿至62亿美元。比特币跌破78,500美元、以太坊失守2,250美元，全网一小时爆仓6.29亿美元，Tether、Circle等发行方冻结资产，币安核实冻结总额30亿美元。神鱼复盘称链上未见合约漏洞，私钥仍在币安手中但恶意授权未撤销，黑客可能是在签名或运维管道中诱导签下Type-4交易。
推荐理由复盘还原了攻击借EIP-7702授权完成的过程，并给出签名环节而非合约漏洞的技术判断。
Alphabet 宣布 Oracle 将提供 Google 的 TPU，这是客户首次能在 Google 基础设施之外使用 TPU。Google 此前已在第二季度向外部数据中心开放 TPU，分析师预计 Google Cloud 收入同比增长约 90%。TD Cowen 预计今年下半年 TPU 销售额为 94 亿美元、2027 年为 625 亿美元，Wells Fargo 预计第三季度约 90 亿美元、明年 990 亿美元；Anthropic 去年 10 月达成使用最多 100 万块 TPU 的协议，OpenAI 也计划向 Google 采购 TPU。
推荐理由Google 首次把 TPU 卖到自家数据中心之外，读者可据此观察它对 Nvidia 主导的 AI 芯片市场格局的影响。
CrowdStrike 报告称，中国关联组织 VAPOR PANDA 使用以 DeepSeek 大语言模型为主、另一款商业模型为辅的 AI 驱动 ARTEX 入侵框架，在 2026 年 10 月 17 日起的 11 天内针对至少 14 个国家的 200 多家机构，并确认在其中 9 家完成入侵后活动。ARTEX 由主智能体与规划、执行子智能体共享事实与目标图谱，单次入侵中规划智能体消耗约 14 亿输入 token，操作员以中文下达指令并在关键节点介入。CrowdStrike 还称该组织在部分目标部署了 BLOODALCHEMY 后门，并预计未来 12 个月中国关联对手会更多采用此类智能体框架。
推荐理由CrowdStrike 报告披露了 AI 智能体框架在真实入侵中的分工与规模，可据此了解自动化攻击的运作方式。
美国司法部已就英伟达以129.3亿美元收购Hugging Face的交易展开问询，评估该交易对AI竞争的影响，核心关注点是这笔交易是否会让英伟达掌控AI模型和软件的一个根本性分发点。英伟达于2026年9月3日宣布该收购，对价包括约119亿美元现金和最高10亿美元员工留任股权激励，预计2027年上半年完成交割。Hugging Face托管超过300万个AI模型、50万个数据集，服务逾1800万开发者和20万家企业。
推荐理由文章把司法部问询放进英伟达多年反垄断调查的线索里，说明监管真正担心的是模型分发入口被单一芯片厂商掌握。
中国医生为一名因视网膜色素变性失明的66岁女性植入脑机接口，将摄像头信号直接传送到她的视觉皮层。她目前可以独立行走、阅读文字，并能看到孙子的身高变化。
推荐理由这条消息给出脑机接口植入后的具体恢复表现，可作为视觉重建类脑机接口进展的参照。
Cognition 宣布收购 Corridor，并将保障全球软件安全称为当下技术领域最重要的问题。推文同时给出由 jackhcable 和 AshwinRamaswami 发布的公告链接。
推荐理由Cognition 官方宣布收购 Corridor，把软件安全定位为当前技术领域最重要的问题。
Axiom Math 宣布，由人类数学家和工程师组织的数十个 AI Agent 在 24 天内完成了有限单群分类定理的 Lean 形式化，生成约 4310 万行代码、205 万个形式化声明，覆盖 715 篇参考文献。过程中 Agent 发现 34 处文献偏差，包括 1986 年 John Walter 不平衡群定理研究中的一处闭包断言反例，并参与构造并形式化了新结果「Preservation of simple tops」，写入 35 页论文作为定理 2.3。项目已上传 GitHub，声明最终证明不含 sorry，仅依赖标准公理，仓库审查状态为团队自评。
推荐理由原文完整记录了 Axiom Math 用数十个 Agent 在 24 天内完成有限单群分类定理 Lean 形式化的过程，并给出旧文献漏洞与新定理的细节。
Anthropic 生命科学团队已与 Generate Biomedicines、Divergence Labs、BigHat Biosciences、Enveda、The Column Group 和 Bristol Myers Squibb 六家机构建立研究合作，并收购由 Cody Tranbarger 独立运营的生物技术公司 Mithril Medicine，直接开展药物研发。Anthropic 称 Claude 已在分子设计、制造文件审查、监管申报和临床试验规划中带来可量化提升，例如 Enveda 用 Claude 审查 1,061 页文件，识别出人工发现的全部 11 个问题并额外标记 7 个，人工审查时间从逾 25 小时降至不足 3 小时。Anthropic 表示计划大幅扩大上述工作规模，若候选药物表现良好，预计最早于 2028 年底具备启动人体临床试验的条件。
推荐理由原文列出六家合作机构在分子设计、文件审查和临床规划中的具体数据，可据此判断 Claude 在药物研发各环节的实际介入深度。