AI 要闻五条｜GPT-6 全量开放，微软与英伟达把 1200 亿参数模型装进本机

10 月 7 日，微软开启两台新 Surface 的预售，方向都是把大模型从云端搬回本机。Surface Laptop Ultra 起价 2599.99 美元，10 月 16 日发货；Surface RTX Spark Dev Box 定价 5999.99 美元，标配 128GB 统一内存与 2TB 存储，11 月发货。两台机器共用英伟达的 RTX Spark 超级芯片，微软给出的指标是本地运行参数超过 1200 亿的模型、AI 性能最高 1 petaflop。软件一侧的配套同样具体：Windows 用 Microsoft Execution Containers 把智能体关进受控环境，再用 Entra 区分智能体与人的操作，本地跑不动的任务才交给云端。这两台机器把「本地跑大模型」从演示推到货架，它有了价格和发货日期；企业采购要算的账，也随之从云端每小时多少钱，变成这台设备多长时间回本。12

华为在全联接大会后公开了徐直军与媒体的交流内容。他说昇腾 950 超节点目前的产能还不能充分满足国内需求，公司没有大规模推向海外的打算，只做少量测试与供货。这款超节点依托新的 Peerium 计算架构，把大量处理器以资源对等互联的方式组织起来，面向大模型训练的海量算力需求。按华为的统计，昇腾系列在国内的市场占比已经超过英伟达；徐直军同时承认，拿到对手准确的市场份额数据并不容易。在他的表述里，供货的稳定性是眼下最要紧的一环：国产芯片与国际顶尖水准仍有差距，可控的供货能力价值更高，国内半导体产业链最终会走向自给自足。3

10 月 7 日，OpenAI 开始向全部 ChatGPT 用户推送 GPT-6，先在 Plus、Pro、Business、Enterprise 四档铺开，免费与 Go 档在次日跟上；此前的 GPT-5.6 Sol 与 GPT-5.6 Luna 随之退场。这一版最直观的变化长在聊天框上：模型按问题自己组装界面，把图表、按钮、表单嵌进回答，输出的形态从一段文字扩展到可以直接操作的东西。OpenAI 说 GPT-6 每周服务超过 12 亿用户，并把这次更新称为「智能界面」的一步。对做产品的人来说，值得重核的是默认行为——付费档跑 GPT-6 Sol，免费档跑 GPT-6 Luna，写过模型路由和兼容层的团队需要再对一遍；OpenAI 也说明，这次更换只涉及 Chat，Work 与 Codex 背后的模型保持原样。4

诺贝尔奖得主、被称为「AI 教父」的杰弗里·辛顿，在 10 月 6 日播出的播客《Smart Girl Dumb Questions》里提出，AI 公司应当像药企一样，先说服监管机构相信产品安全，再把它放上市场。「你不能研制一款新药就直接上市，」他对主持人纳伊玛·拉扎说，「你必须说服 FDA，为此要做大约十亿美元的工作量。」他随后补了一句，「这看上去是我们对 AI 最起码的要求。」这份提议的分量来自它落下的时间点：OpenAI 九月刚因安全测试不过关，搁置了 GPT-6.1 Astra 的发布。辛顿把紧迫感放在递归自我改进上——AI 正在被用来改进 AI，指数增长很快，他猜还有一两年，情况会比现在糟糕得多。对正在排发布档期的团队，上市前审批意味着成本结构、测试周期与上市时间表都要重写。5

数学界这一周最受关注的进展没有配发布会。Anthropic 的工程师把一段由内部尚未公开的 Claude 生成、并在 Lean 中通过机器校验的证明传上 GitHub，目标是渗流理论的连续相变猜想：在 3 到 10 维空间里，临界点上究竟存不存在无限大的连通网络。1957 年 Broadbent 与 Hammersley 提出渗流模型之后，二维情形由 Kesten 在 1980 年证明，11 维以上靠平均场工具早已解决，中间这八个维度卡了半个多世纪。2022 年菲尔兹奖得主 Hugo Duminil-Copin 在 8 月 30 日的文章里写过，这道题被 AI 攻克大概只是时间问题。德国布伦瑞克工业大学的 Benedikt Jahnel 评价，如果换成人类证明了这个猜想，大概率会拿到菲尔兹奖。证明尚未经过同行评议，Lean 校验的是一段形式化代码，数学界还在等一份人能读懂的推导。67