AI 日报 | 10 月 12 日:DeepSeek 4 亿押注机器人 + 微软/英伟达 RTX Spark AI PC + Anthropic Opus 4.5 + 港股 AI 重新定价

DeepSeek 领投 Winverse AI 4 亿美元,具身机器人变成头部模型公司必答题

据彭博社、北京时间 10 月 12 日凤凰网科技报道,DeepSeek 已同意领投成立仅数月的机器人 AI 公司 Winverse AI 种子轮,规模数千万美元,投后估值约 4 亿美元。Winverse 由前腾讯首席科学家、视觉语言/具身基础模型负责人胡瀚于 2026 年创立,目前仍处隐秘运营;美团旗下龙珠资本跟投。这是 DeepSeek 自 2023 年由梁文锋创立以来对创业公司规模最大的投资之一——本轮 DeepSeek 动用的就是其自身超过 120 亿美元融资资金。在此之前,DeepSeek 已通过宇树科技在上海上市认购其 2.31% 股份、合资金额约 140.8 亿元人民币,推动具身模型与人形机器人协同。当 OpenAI、Google、Anthropic 把精力放在"模型 + Agent + IDE"上时,中国头部模型公司选择主动向"软件以外"的物理延伸铺路,具身智能第一次从技术概念变成头部模型公司战略表上的实体项目。

微软 + 英伟达 RTX Spark AI PC 启航,Surface Laptop Ultra 2599 美元起 10-16 发货

据 AIBriefs 综合 Microsoft Developer 与 NVIDIA 公告报道,10 月 12 日微软与英伟达联合推出 RTX Spark AI PC 产品线:Surface Laptop Ultra 起售 $2,599,搭载英伟达 RTX Spark SoC、最高 128GB 统一内存,10 月 16 日起发货;面向开发者的 Surface RTX Spark Dev Box 起售 $5,999,标称 1 PFLOPS AI 算力,可承载本地大模型推理与代理工作负载。微软同步宣布 Microsoft Execution Containers(MXC)正式 GA,把代理运行纳入操作系统级控制;Copilot "Hybrid Intelligence"开启本地文件访问,允许代理在不联网的情况下处理用户文件。英伟达方面,Vera Rubin NVL72 机架级系统进入量产前夜,10 万卡集群被纳入路线图。这是端侧 AI 的关键拐点:过去三年"模型 + 数据中心",现在开始"模型 + 云 + 终端"三线并进,本地 64GB 以上内存与桌面级 GPU 算力正式成为 AI PC 的新基线。

Anthropic Claude 4.5 Opus 旗舰版上线,500K 上下文 + 原生多代理编排 + 运行时工具合成

据 Deniz.in、Innovify 报道,Anthropic 于 10 月 9 日正式上线 Claude 4.5 Opus,主打三个新能力:500,000 token 上下文、原生多代理编排(model 自带的 sub-agent 创建/监督/终止机制)、以及运行时工具合成(模型可在隔离 micro-VM 内写并跑 Python/Rust 解析器,补齐缺失的 API)。基准上,SWE-bench Verified 自主解决率达 74.8%、500K 双向"大海捞针"召回最高 100%。定价 $15/$75 per M tokens,prompt caching 折扣可达 85%,Anthropic API、Amazon Bedrock、Google Cloud Vertex AI 三家平台同步可用。同一周内,Anthropic 还推出 Claude Fable 5.1 + Mythos 5.1,叠加一套名为 Enterprise Frontier Safeguards 的企业级合规护栏,号称提供"零数据留存等价"的隐私承诺,直接对接英国 FCA/PRA 等金融监管的运营韧性规则。这是迄今为止闭源前沿模型公司第一次把"原生多代理"作为单一架构能力列出,而非外置框架编排。

OpenAI 一日发布 722 篇数学论文,含 Unique Games Conjecture 证明,刷屏理论计算机圈

据 OpenAI 官方博客(10 月 12 日,见 Malpass Technology Blog 综合),OpenAI 一日公开 722 篇数学手稿(撤回 3 篇 Hodge 猜想相关手稿,最终 719 篇),整理为 372 个家族,涵盖 Proof of Atlas 排名前 500 公开问题中的 90 个,均带 Lean 形式化证明,已上 GitHub。其中最大爆点是给出 Unique Games Conjecture(UGC) 的形式化证明——这是支撑大量 NP 不可近似性结果的计算复杂性理论基础,"教科书会被改写";同批还包括 Barnette 猜想在图论中的解法,以及 1979 年 Garey-Johnson 经典著作中遗留的一个三机调度多项式时间算法。整体上,LLM 已经触及 7 个千禧年问题中的 4 个,并解决了 Navier-Stokes,但 P vs NP、Yang-Mills 仍未碰。同一次发布中,OpenAI 也坦诚撤回 3 篇 Hodge 猜想相关手稿——这种自我纠错被学界普遍视为"前所未有的透明度",但也提醒业界:大模型生成的证明,审核仍远比想象中更严格。

可灵(Kling)估值破 1228 亿元,腾讯阿里百度集体入局 30 亿美元融资,最早 2027 港交所挂牌

据彭博社、36 氪报道,10 月 12 日快手旗下视频生成业务可灵 AI 计划最早 2027 年港交所 IPO,募资至少 10 亿美元,中金、高盛、瑞银担任承销行。本轮独立融资约 30 亿美元,腾讯、阿里云、百度、国家人工智能产业投资基金、正大机器人全部入局;按 8 月底增资扩股口径测算,可灵估值约 1,228 亿元(人民币),已超过母公司快手当前市值(10 月 9 日收盘约 1,104 亿元)。《2025 年微短剧年度报告》披露,2026 年第一季度行业上线微短剧约 12.8 万部,其中 AI 微短剧 12.2 万部,占比 95.3%;DataEye 测算下,真人精品微短剧平均制作成本约 150 万元,AI 拟真人竖屏可压到 20 万元、AI 漫剧 60 集批量生产可压到 2 万元。可灵累计亏损已超 20 亿元,昔日的 Sora 每日烧 1,500 万美元——视频生成跑通商业化的"商业模式门槛"比想象中更低,但"融资成本 + 算力支出 + 爆款率不足 0.47%"三件事叠加,把这条赛道推向 IPO 关口。

智谱 9 个月三轮融资 750 亿港元,港股 AI 双雄估值重估:一边高盛看多,一边回撤 70%

据鳌头财经、搜狐报道,智谱(02513.HK)9 月 18 日完成总额约 50 亿美元融资的全部交割:2,196.5 万股新 H 股以 714 港元/股配售,30 亿美元零息可换股债同步在维也纳证券交易所 MTF 市场挂牌。这是智谱 1 月 8 日港股 IPO 以来 9 个月内第三轮大规模融资——累计 IPO + 两次配售 + 可转债已超 750 亿港元。高盛 10 月初将评级由"中性"上调至"买入",12 个月目标价 1,560 港元,报告发布后两日股价累计反弹约 14%;但截至 10 月 7 日,智谱报 696 港元,较 6 月 22 日高点 2,980 港元回撤约 70%,较 7 月配售价 1,588 港元下跌约 56%。公司同时公告:约 60% 资金投向下一代 GLM 模型、"完全自训练"体系、相关算力基础设施;管理层预计云厂商分成收入近 100% 毛利,年末 ARR 由此前 24 亿美元上调 25% 至 30 亿美元。另一边,MiniMax 自 7 月解禁后单日跌近 18%,代表大模型的"稀缺性溢价"在智谱/MiniMax 两家港股"前后脚挂牌"后正在退潮。

DeepSeek 第二轮冲到 1000 亿元,148 倍市销率与"一级加价二级抛售"同时成立

据彭博社、华尔街日报转引(10 月 6 日以来多轮更新,10 月 12 日腾讯《每日 AIGC 早报》综合),DeepSeek 本轮融资从最初 500 亿元一路修到至少 800 亿元,乐观情况下逼近 1,000 亿元(约 145 亿美元),由宁德时代、腾讯领投;同时已聘请中信证券筹备科创板上市,最早 2027 年挂牌。资金主要流向内蒙古乌兰察布建设吉瓦级数据中心,部署至少 16 万颗华为昇腾 950DT 推理芯片(训练环节仍主要依赖英伟达)。商业化层面,The Information 测算 DeepSeek 当前 ARR 约 10 亿美元,前 7 个月已确认营收约 4.75 亿元,API 业务毛利率高达 82.9%;同时 9 月 29 日上线 DeepSeek Harness v0.2 桌面客户端,MIT 协议完全开源,主动让出对模型调用的强制绑定。估值侧,按 ~740 亿美元目标估值与 ~5 亿美元 ARR 测算,市销率约 148 倍——同口径下 OpenAI 约 20-21 倍、Anthropic 约 14-15 倍。这是全球主要大模型公司里最高的市销率,印证中国 AI 一级市场的"协议定价 + 产业入场券"逻辑与二级市场的"真金白银投票"之间的剪刀差,正在同时并存。

个人智能体协议 PAP 启动:Meta、沃尔玛、Instinct、Shopify、Sierra、Stripe 等 8 巨头联合发布

据腾讯网《每日 AIGC 早报》2026 年 10 月 12 日转载,Meta、沃尔玛、Instinct、Shopify、Sierra、Stripe 等多家企业联合发布 PAP(Personal Agent Protocol),目标是把"AI 机器人(或个人代理)与企业系统对接"的方式标准化、可审计、可授权可收回。协议层设计的核心目标有两个:一是企业不必为每一个 AI Agent 平台(NPC/移动端/桌面代理)重复开发接入;二是把"用户对 Agent 的授权范围"从"黑盒对话"变成"机器可读、第三方可核验"的协议对象。本次发布跨越社交、零售、电商、SaaS、金融科技五个完全不同形态的公司,意味着 Agent 商业化第一次进入"基础设施层"阶段——上一次出现如此广度的跨阵营协议,是 2021 年的开放应用接口与 OAuth 标准化。OpenAI 同期上线 Decisions API(公众 beta,比 GPT-6 Luna 快 10x,可通过 Apple Foundation Model 框架调用),微软同日发布 Decision-1——当"协议+决策模型"两条线同步推进,2027 年"Agent 操作系统"的轮廓开始可辨。

决策模型新赛道成形:OpenAI / Microsoft / Anthropic / Cloudflare / Liquid AI / vllm-sr 同周集中爆发

据 AIBriefs、agihunt.info、腾讯《每日 AIGC 早报》综合,2026 年 10 月第二周,模型行业"决策模型"作为一个独立子赛道首次被各家头部以同一节奏认可。OpenAI 上线 Decisions API(公众 beta,比 GPT-6 Luna 快 10 倍),可经 Apple Foundation Model 框架调用;微软悄悄上架 Decision-1,以 Qwen3.5-9B 后训练,主打分类、路由、优先级、验证、智能体编排,算力成本显著低于通用 LLM;Liquid AI 开源 Open d1 决策模型族(3B 在 NVIDIA Jetson Thor 上每图 35ms 出决策);vllm-sr Decision 3.0 上线 0.6B-26B 六档尺寸、全 Hugging Face 开源;Cloudflare 发布 Clef-omni(30B-A3B 多模态决策模型);Perplexity 的 pplx-decider-v1.1-27b 已升至 OpenRouter 第二。在基准侧,JEV 决策模型作为 LLM judge 排名 8/15,综合准确率落后 GPT-6 仅 1.7 分,但成本低 277 倍、中位响应 0.15 秒。这一组动作共同把"AI 系统里负责 yes/no/label/数字的部分"从通用 LLM 中剥离出来,成为新的 SKU——既解决"端到端大模型太贵"的痛点,也第一次让"决策延迟"成为独立可优化的指标。

CrowdStrike 报告:大学生用 Claude Code + 开源工具 ARTEX 攻击 7 家韩国银行,6.7 万人资料外泄

据 CrowdStrike 2026 年 10 月 12 日发布的调查报告,一名(或极少数)大学生级攻击者以盈利为目的,综合使用 Anthropic Claude Code、开源中文安全工具 ARTEX、国产开源大模型以及国内模型中转站,对韩国新韩银行、KB 国民银行等至少 7 家金融机构发起攻击,导致超过 6.7 万客户与员工资料外泄。CrowdStrike 没有披露攻击者国别归属,但报告中出现了"中文工具链 + 中文开源模型"的拼接痕迹;中国外交部回应称"不了解情况,并反对散播虚假信息"。这起事件把 2026 年整个 AI 安全治理的两件大事合在一处:一是 Claude Code 这类具备代码生成与命令行执行能力的工具,首次作为"开源 + 第三方拼接"的弹性链出现;二是"国产大模型 + 中转站"组合,首次被国际安全厂商以 APT 视角公开讨论。无论后续追责如何,这都意味着 AI Agent 时代安全责任已从"模型厂商"扩展到"模型厂商 + 部署渠道 + 企业应用"三方共担,所有 C 端 Coding Agent 产品方必须在"可审计 + 沙箱 + 异常行为熔断"三条线补全自身设计。

📊 整体评论