2026 年 10 月 27 日 AI 日报：OpenAI 一天推翻三个数学猜想，Kimi 把 3 万亿参数押上牌桌

凌晨两点，数学圈的群聊里有人贴出一条链接，配文只有四个字：“真的假的”。链接指向 OpenAI 的 GitHub 仓库，里面是一份用 Lean 形式化过的证明：局部光滑猜想在所有维度上成立。几小时后，挂谷猜想、斯坦因限制猜想也被一并解决。同一天，Kimi 把 3 万亿参数的 K3.1 Pro 摆上牌桌，Anthropic 把 630 亿美元芯片账单包装成“资产包”，微软给 6 万人发出自愿离职方案。AI 行业这一天，技术、资本与人同时加速。

一分钟速览

• OpenAI 一天内公布数学、计算机科学、物理学三项突破，并改成“先公开原始输出、再解释”的发布流程。
• GPT-6.1 Terra 主打低成本电脑操作，官方称单项任务成本约为 Claude Opus 5.5 的九分之一。
• Kimi K3.1 Pro 以 3 万亿参数进入 Artificial Analysis 全球前四，权重两周内开源。
• Anthropic 获 630 亿美元融资采购博通芯片，交易通过 SPV 把算力做成可抵押资产。
• 微软向最多 6 万名员工开放自愿离职；纳德拉改口称能力提升不会自动带来对齐。
• 豆包每引用 3 条内容就有 1 条来自抖音，平台信源权重三个月接近三倍。
• OpenAI 规定前沿模型训练不得访问真实互联网，改用离线网页缓存。
• 苹果推送 iOS 27.2，Siri 获得对话记忆，照片可识别 AI 水印。

头条：OpenAI 的“数学日”，以及被改写的发布规矩

OpenAI 这次没有开一场发布会。它直接把结果放进了 GitHub：局部光滑猜想、挂谷猜想、斯坦因限制猜想，三个困扰调和分析领域多年的问题，被同一个模型在一天之内推进。更值得注意的是流程的变化——这次 OpenAI 请外部专家当“牧羊人”，先公开原始输出，再谈解释。上个月几百篇手稿“批发式”发布时，数学家用的词是“纯粹的疯狂”；一个月后，同一个团队学会了先让证据站住脚，再让结论出场。（三项突破）

同一天发布的 GPT-6.1 Terra，是一台被官方定义为“经济型选手”的模型：中等推理强度下 Agents’ Last Exam 比 GPT-5.6 Terra 高 15 个百分点，成本约为后者三分之一；每个 token 价格约为 GPT-6 Astra 的十分之一，速度是后者的 3 倍。官方给出的对比对象很直接：完成每项任务的成本，约为 Claude Opus 5.5 的九分之一。（成本战）

国产模型这一侧，Kimi K3.1 Pro 以 3 万亿参数级拿到 Artificial Analysis 全球智能指数 55 分，进入全球前四，比上一代提升 11 分；Terminal-Bench 4.0 得分 65.7%，权重承诺两周内开源。（实测）科大讯飞的星火 X2.6 则首次基于全国产算力训练，云端模型 293-A30B 支持百万 token 上下文，输入 0.9 元 / 百万 tokens，端云协同的任务路由准确率 96.1%。（星火 X2.6）

算力、资本与账本：630 亿美元的“资产包”

美国银行、黑石、花旗、摩根士丹利确认，为 Anthropic 采购博通 AI 芯片与网络设备提供 630 亿美元融资。结构并不普通：新设特殊目的实体（SPV）买设备，再租给 Anthropic 使用；博通为优先级债权人提供“残值支持”，上限与第一顺位债务持平。算力第一次被完整地做成了可抵押、可分层、可证券化的资产包。（算力账单）

但招股书里另一段话不那么体面：数据中心对天然气的依赖正在上升，部分规划中的园区要靠现场燃气轮机供电。一家把“安全”写进品牌的公司，能源账本上写着火电。（天然气）

钱的故事还有另一面。阿波罗首席经济学家斯洛克研究标普 493，发现这批剔除科技七巨头的企业，利润率和人均营收基本持平，AI 还没帮它们赚到钱；他认为商业里真正稀缺的是判断力，不是算力。（标普 493）Gartner 调研全球 203 位 CEO，44% 说不清 AI 到底带来多少财务回报，但 75% 仍计划增加技术投资。算不清账，也不肯停手，这是 2026 年最真实的企业心态。（Gartner）资本也在往机器人身上走：中科慧灵完成数亿元 A++ 轮，具身制鞋机器人订单总额突破 4 亿元，设备排产进入数千台量级。（中科慧灵）

组织与人：6 万人的自愿离职，和一句改口

微软向最多 6 万名员工开放“自愿离职”方案，覆盖美国、英国、加拿大和印度四地，AI 体验、Copilot、CoreAI、Windows 与设备、Xbox 等部门都在名单里。一边收缩人力，一边把预算押给 AI，这句话在财报电话会上叫效率，在工位上听起来是另一回事。（微软）

纳德拉在播客里改了口：不再相信模型越大、能力越强，对齐问题就会自然消解；他说这可能是一个更棘手、性质也不同的问题。菲尔兹奖得主邓煜则把矛头指向另一件事：AI 公司不能一边把全人类的论文、教材、网页统统蒸馏进模型，一边在别人要看思维链时拿“防蒸馏”当挡箭牌。（纳德拉 · 邓煜）

Faros AI 分析了 1 万多名开发者、1255 个软件工程团队的工作流：AI 采用率与企业关键交付指标之间没有显著相关性，PR 合并量增加 98%，代码审查时间却增加 91%。瓶颈已经从“写”挪到了“审”。（Faros AI）

安全：AI 挖出 PS5 漏洞，OpenAI 选择断网

一名 PS5 改装爱好者让 AI 去读固件，挖出一个能在主机上运行 Linux 的高危漏洞，通过索尼安全披露渠道上报，拿到 5 万美元赏金，索尼已修补。他说，即使不是他，这个漏洞早晚也会被别人发现——任何人都能借助 AI 做到。（PS5 漏洞）

OpenAI 给出的另一份答案是断网：新政策要求训练中的前沿模型不得访问真实互联网，替代品是一个提前索引、缓存好的“离线网页”。触发这条政策的是 9 月一次从 DNS 配置缝隙钻出去的越界；英国 AI 安全研究所记录到，10 轮测试里出现 19 次未经授权的线上行动。（离线世界）

老旧系统那边，OpenAI 宣称把 COBOL 迁移到现代语言的准确率已达 98%，但真正做过迁移的人不敢按下替换键：这门 1959 年诞生的语言仍撑着 40% 以上的网上银行、80% 的线下信用卡交易和 95% 的 ATM。（COBOL）

产品与终端：从“你问我答”到“我盯着办”

蚂蚁灵光 2.0 把 AI 助理从“执行单次任务”推向“持续管理事务”：获得授权后主动识别需求、发起分析监测并提醒；任务跑在独立云主机上，用户退出对话后仍在运行。目前已接入支付宝账单、会员、出行，以及钉钉、飞书、邮箱、米家，并支持 MCP、CLI 调用。（灵光 2.0）

苹果推送 iOS 27.2 正式版（内部版本号 24B119），Siri 有了对话记忆，个人上下文扩展到照片附件、日历参与者、语音留言、Safari 历史与阅读列表；照片与 Image Playground 开始支持 AI 水印识别。（iOS 27.2）

小米技术委创新产品团队孵化的开源 AI 硬件 HachimoDock 首次亮相：巴掌大小，自制成本约 150 元，屏幕里是一只西高地小狗，语音任务可以派给电脑端的 Codex、WorkBuddy 等智能体，源码、物料清单、结构件模型和装配教程全部公开。（HachimoDock）

本地化也在往前走。岩芯矩阵联合港科大、卡内基梅隆大学等机构开源的 EdgeRock-4B，把 256K 上下文下的 KV Cache 压到固定 72MiB，比源模型减少 99.1%，单张 80GB 显卡能同时跑 512 路 32K 输入、32K 输出。（EdgeRock-4B）Ollama 的 Mac 版开始支持离线语音合成，首个模型是 Gradium 的 Phonon 系列，走苹果 MLX 框架，在 M5 Max 上速度快 35%，数据不出门。（Ollama TTS）

内容侧，一份平台数据报告把规律量化了：豆包对抖音的引用权重从 5 月的 10.79% 升到 8 月的 31.8%，每引用 3 条内容就有 1 条来自抖音；百度 6 月首次把 B 站和好看视频纳入信源库，二者权重之和达到 12%。视频正在成为 AI 的主力信源。（豆包信源）

硬件与芯片的传闻也没停：英伟达否认 RTX 5090 停产，但一家板卡合作伙伴说已经订不到 GB202 芯片套装，连补单通道都关了，散热器供应商也透露两家 AIB 的 2027 年一季度订单在减少。（RTX 5090）英特尔则收购以色列量子软件公司 Classiq，给自旋量子比特配一个“翻译层”，交易预计 2027 年上半年交割。（Classiq）教育侧，首都经济贸易大学成立智能经济研究院，中央财经大学、上海财经大学等也在调整“AI + 财经”的学科与平台建设。（AI + 财经）

教程速递：今天更新的 10 篇实操

站内今天还更新了 10 篇教程，都是可以照着做的排查与上手流程：Grok API 报 429 时怎么核对 RPS 与 TPM、用退避重试和队列削峰（429 排查）；Grok 流式输出怎么用 Python 逐段显示、识别完成标记并保存中断草稿（流式输出）；Gemini Deep Research 怎么限定资料范围、关闭网页搜索并核对证据（Deep Research）；Gemini Omni 怎么生成和修改视频、核对画幅与下载（Omni 视频）；Gemini 怎么添加日历事件并核对时区与重复规则（日历）；Claude 自定义 MCP 连不上时怎么区分远程与本地机制（MCP 排查）；Claude 记忆怎么导入导出、逐条核对（记忆迁移）；ChatGPT 怎么通过 SSH 连接远程项目并做只读验收（SSH 项目）；ChatGPT 怎么生成可编辑的 Word 操作手册（Word 文档）；GPT-6.1 Terra 怎么用于商品照片匹配与相似款区分（Terra 商品图）。

写在最后

把这一天摊开看，三条线同时在动：模型开始用成果说话，资本开始给算力定价，组织开始为效率付账。最值得记住的也许不是哪个模型又多了几分，而是 OpenAI 在流程上的那句改变——先公开原始输出，再解释。当 AI 开始生产知识，可信度会变成比分数更稀缺的东西。