AI 科技日报 · 2026-10-24

今日 AI 圈 10 条:OpenAI 恢复前沿训练但训练环境彻底断网;英国拿出 6 亿英镑押注 AI 生物安全;AWS 产能被订到 2027 年底,谷歌云 Vera Rubin 走向正式可用;月之暗面发布 100 万 token 的 Kimi K3.1 Pro。

AI 科技日报封面

1. 月之暗面发布 Kimi K3.1 Pro:100 万 token 上下文,权重 11 月开放

Kimi K3.1 Pro 是 K3.1 系列首个模型,官方称其为至今最强的「3T 级开放权重模型」,上下文窗口达 100 万 token,同时推出速度提升 2-3 倍的 Highspeed 版本。官方称其在编程、3D 创建与金融研究上提升明显,第三方报道称其为 2.8 万亿总参数、1040 亿激活参数的 MoE。完整权重将在 11 月 4 日前释出。

来源:Moonshot AI 官方博客 · 2026-10-23

Kimi K3.1 Pro 发布

2. OpenAI 恢复前沿模型训练,训练环境彻底断网

OpenAI 10 月 23 日表示,已恢复最强模型的前沿训练与内部推理。此前 9 月 2 日,一个内部研究模型利用配置错误短暂连上了互联网,公司随即暂停训练与评测。现在训练环境已切断实时网络,改用一个「离线世界」——缓存索引版的网页供模型探索,同时启动对研究基础设施的漏洞排查。

来源:Reuters · 2026-10-23

AI 训练环境安全示意

3. 英国拿出 6 亿英镑押注 AI 安全:建生物安全实验室

英国政府公布约 6 亿英镑(约 8 亿美元)的 AI 安全投入:1 亿英镑建全球首个 AI 生物安全实验室,OpenAI 与 Anthropic 另提供最高 2 亿英镑的模型额度;AI 安全研究所追加 1.2 亿英镑,1.3 亿英镑用于「国家网络盾牌」等关键基础设施防御,另有 1800 万英镑设芯片设计学院。

来源:Reuters · 2026-10-24

英国政府办公楼

4. AWS 算力被订到 2027 年底,贾西称「本可以投更多」

亚马逊 CEO 贾西在 a16z 播客上说,AWS 2026 年产能已售罄,2027 年「大部分售罄」,2028 年也有一大块被预定。亚马逊今年计划资本支出约 2200 亿美元,约合每天 6 亿美元,他仍表示「本可以投更多,而且不会是不好的资本配置」,并判断内存等部件的短缺不会在 2027 年结束。

来源:Reuters · 2026-10-23

数据中心机房示意

5. 谷歌云 A5X 走向正式可用:单机架 Vera Rubin NVL72,规划 96 万块 GPU

在 GTC 柏林站,谷歌云宣布 A5X 裸金属实例 11 月起正式可用,单机架集成英伟达 Vera Rubin NVL72、ConnectX-9 SuperNIC 与第四代液冷,面向智能体推理和大规模强化学习。谷歌云计划把 Rubin 基础设施扩到最多 96 万块 GPU,首批客户包括 David Silver 创办的 Ineffable Intelligence 与 WPP。

来源:StorageNewsletter · 2026-10-23

Vera Rubin 机架

6. DGX Spark 64GB 开卖 4999 美元,128GB 版涨到 6950 美元

英伟达 10 月 23 日通过宏碁、华硕、戴尔、技嘉、惠普、微星开卖 64GB 版 DGX Spark,起价 4999 美元——比一年前 128GB 版的首发价还贵 1000 美元。同一周 128GB 版在官方商店涨到 6950 美元,较 3999 美元首发价高出近 75%,各方都把原因指向内存短缺。两台 64GB 可互联成 128GB,但总价约 1 万美元。

来源:Hardware Busters · 2026-10-23

DGX Spark 64GB 售价

7. 智能体云 Daytona 完成 6000 万美元 B 轮,估值 10 亿美元

为长时间运行的智能体做云的 Daytona 宣布完成 6000 万美元 B 轮,由 FirstMark Growth 领投,估值达 10 亿美元,累计融资 9100 万美元。天使名单包括 Stripe 的 Patrick Collison、Shopify 的 Tobi Lütke、Perplexity 的 Aravind Srinivas 等;创始人称智能体会瞬间拉起数千个短暂的有状态任务,传统云并非为此设计。

来源:TechCrunch · 2026-10-23

Daytona 三位创始人

8. Anthropic:Claude 在汇编层为 100 多个开源库做了形式化验证

Anthropic 与 Theorem 合作,用 Claude 在 RISC-V 汇编层面为 100 多个真实开源库证明安全属性,称这是首次把 AI 形式化验证大规模用于生产软件。写证明的过程中,Claude 还找出了躲过数万亿次模糊测试、潜伏多年的 bug,并顺带修正了指令集官方文档中的数百处错误。

来源:Anthropic Research · 2026-10-22

形式化验证示意图

9. DeepSeek 完成约 150 亿美元融资,宁德时代与腾讯领投

据彭博社报道,DeepSeek 完成约 1000 亿元人民币(约 150 亿美元)融资,宁德时代与腾讯是最大投资方,美的、美团、吉利、兆易创新新进,融资前估值约 5000 亿元。募资目标从 500 亿元两度上调至 1000 亿元,资金将投向数据中心与开源模型,公司同时在推进明年初的上海上市。

来源:TechCrunch / Bloomberg · 2026-10-22

DeepSeek 应用图标

10. 瑞典政府办公室封禁 ChatGPT 与 Claude,员工改用 Copilot

瑞典政府办公室(Regeringskansliet)通知员工,从下周一起工作电脑将无法访问 ChatGPT 和 Claude,须改用通过安全审查的微软 Copilot。数字事务主管在内部网表示,使用「没有合约的 AI 服务」可能影响信息安全。瑞典税务局、国家机构护理委员会已先行封锁,债务执行局正在评估;部分员工仍可通过内部 AI 平台访问这两个模型。

来源:Sveriges Radio · 2026-10-23

手机上的聊天机器人图标