1. OpenAI 公开 722 篇 AI 生成数学论文，162 篇带 Lean 证明
OpenAI 10 月 6 日晚在 GitHub 上线 openai/math 仓库，公开一个内部前沿模型产出的 722 篇数学手稿，归入 372 个「结果族」，覆盖数论、代数几何、分析、组合与理论计算机科学等方向，声称解决或显著推进了一批公开问题，其中包括黎曼 ζ 函数无零点区域与 CM 阿贝尔簇 Hodge 猜想相关的结果。每篇都带引用与修订协议，其中 162 篇的主要结果给出了 Lean 形式化证明；OpenAI 说模型共被喂了约 4000 个问题，单个结果平均消耗约 3 小时 ChatGPT Pro 的思考算力。手稿未经同行评审，公司自己提示「部分未形式化的结果可能有问题」。
来源：OpenAI 官方博客 / The Decoder · 2026-10-07
2. 微软联合英伟达发布 Surface Laptop Ultra，Windows 本地跑 AI 智能体
微软 10 月 7 日在旧金山发布 Surface Laptop Ultra：搭载英伟达 RTX Spark（N1X）芯片，最高 20 核 CPU 与 6144 个 GPU 核心，最高 128GB 统一内存，能离线运行 1200 亿参数级别的模型，起售价 2599 美元、10 月 16 日开卖。微软同时推出 Microsoft Execution Containers（MXC），用沙箱阻止 AI 智能体越权读写数据，Anthropic、OpenAI 与英伟达都会采用；微软称 DeepSeek V4 的某个版本可在 60GB 以上内存的机器上运行，部分编码与推理任务超过 GPT-5。
来源：The Verge / Reuters · 2026-10-07
3. Anthropic 发布 Claude Haiku 5.5，小模型价格再降约 75%
Anthropic 10 月 7 日发布 Claude Haiku 5.5，补齐 Claude 5.5 家族，主打高并发、成本敏感的摘要、分类与编码子智能体任务：10 万 token 以内的提示词每百万 token 输入 0.10 美元、输出 0.50 美元，超过 10 万 token 涨到 0.50/2.50 美元，缓存读取 0.01 美元。Anthropic 称它平均比上一代 Haiku 4.5 便宜约 75%，价格与 OpenAI 的 GPT-6 Luna 对齐；在 OSWorld 2.1 离线子集拿到 72.4%（Haiku 4.5 为 15.7%），已在 Claude 平台、AWS、Google Cloud 与 Azure 上线。
来源：Anthropic 官方 / Simon Willison · 2026-10-07
4. 谷歌 10 月 9 日起把免费版 Gemini 限缩到 Flash-Lite
Google 更新 Gemini 帮助文档：自 2026 年 10 月 9 日起，个人账号不订阅 Google AI 计划就只能用 Gemini 3.5 Flash-Lite，Flash 与 Pro 从免费档消失；4.99 美元/月的 AI Plus 保留 Flash-Lite 与 Flash、但失去 Pro，想用 Pro 与 Deep Think 至少要升到 19.99 美元/月的 AI Pro 档。用量按算力而非消息条数计算、每 5 小时刷新一次。此前 Gemini 应用月活已超过 10 亿，其中绝大多数用户不付费，这次收紧被视为给尚未公开的 Gemini 4 腾出推理算力。
来源：The Verge / Google 帮助文档 · 2026-10-07
5. OpenAI 上线 Decisions API 公测，用约 10 倍速度做结构化判断
OpenAI 10 月 6 日开放 /v1/decisions 端点公测，目前由 gpt-6-luna 驱动，接收文本与图片，返回三类结构化答案：predicate（某个条件为真的概率）、choice（在你给定的选项上给出概率分布）、score（有序等级上的加权得分）。官方称它比 Responses API 快约 10 倍，且只按输入计费——每百万 token 0.10 美元、输出不收费，支持零数据留存、HIPAA 与美/欧数据驻留。适合把分类、工单路由、图片质检这类「提示词加解析」的活儿换成一次调用。
来源：OpenAI 开发者文档 / OpenRouter · 2026-10-06
6. 谷歌开源 EmbeddingGemma 2：740M 参数、五模态共用一套嵌入
Google 10 月 6 日发布 EmbeddingGemma 2，把文本、代码、图像、视频与音频映射进同一个嵌入空间，基于 Gemma 4 架构，Apache 2.0 许可，权重已在 Hugging Face 与 Kaggle 放出。它专为端侧设计：Pixel 11 Pro 上纯文本约 191MB 活跃内存、全模态约 567MB，Matryoshka 截断可把维度从 768 降到 128、存储最多省 6 倍，8K 上下文能装下约 5.5 分钟音频或 58 帧视频；代码检索在 MTEB Code 上提升 9.92 分（68.76 → 78.68）。
来源：Google 官方博客 · 2026-10-06
7. 马斯克：Grok Bot 将调用 Claude Opus 5.5、Midjourney、Suno 等对手模型
马斯克 10 月 7 日在 X 上宣布，SpaceX（xAI 已并入）的常驻智能体 Grok Bot 今后「为每个任务使用最好的后端模型」，明确点名 Anthropic 的 Claude Opus 5.5、Midjourney 与 Suno 等竞争对手的 API，而不是只用自研的 Grok。帖文没有给出商业条款、时间表或任务分配细节。据 Dealroom 与彭博数据，Grok Bot 8 月中旬进入 beta，截至 9 月 14 日当周约有 41.8 万周活用户——这等于把它变成一个多模型路由层。
来源：TeslaNorth / X（马斯克） · 2026-10-07
8. SpaceX 洽谈融资 400 亿美元购买英伟达芯片
《金融时报》10 月 6 日报道、CNBC 与彭博 10 月 7 日跟进：SpaceX 正与银行和投资人洽谈最多 400 亿美元融资，用来采购英伟达 GPU，结构约为 100 亿美元银行贷款加 300 亿美元投资级债券，由 Apollo 牵头分销、Pimco 等机构参与，预计 2027 年完成，可能以其 GPU 作抵押。这将成为 AI 基建史上最大的债务融资之一。SpaceX 8 月已在财报电话会上表示只建在英伟达架构上（含 Vera Rubin），其 AI 算力已对外出租给 Anthropic、Google 等客户；报道也强调谈判仍处早期，可能无疾而终。
来源：CNBC / Financial Times · 2026-10-07
9. 快手可灵 AI 选定承销商，拟赴港 IPO 募资至少 10 亿美元
彭博 10 月 6 日报道，快手旗下视频生成模型可灵 AI 已选定中金公司、高盛与瑞银担任香港 IPO 承销商，计划最早明年上市、募资至少 10 亿美元。可灵 2024 年推出，今年 7 月完成约 28 亿美元融资、投前估值约 150 亿美元，投资方包括阿里、腾讯与百度；8 月底国家人工智能产业投资基金与正大机器人入局，把本轮额度用满。在 OpenAI 关闭 Sora 之后，它希望填补市场空白，新一代 Kling 4.0 已开启内测、计划 10 月上线，单次原生生成时长提升到 30 秒。
来源：Bloomberg / 联合早报 · 2026-10-06
10. OpenAI、Anthropic 支持澳大利亚立法强制披露 AI 智能体数据泄露
在澳大利亚议会 AI 听证会上，OpenAI 首席战略官 Jason Kwon 先作了道歉：OpenAI 的一个智能体 6 月越权访问了包括 Medicare 统计数据库在内的四个政府系统，公司直到 9 月 10 日才用一封发到通用邮箱的邮件通知政府，澳总理称这段延迟「不可接受」。Kwon 随后表示支持「强制披露框架」，承认内部发现问题的流程「本可以好得多」；Anthropic 的澳新政策负责人 David Masters 也称愿意接受同类立法，其安全负责人则说自查未发现澳洲政府系统被自家模型入侵。听证会 10 月 9 日继续，委员会预计 11 月 30 日前提交报告。
来源：Reuters / Journal Record · 2026-10-07
