DeepSeek V4 Pro 正式上线

DeepSeek V4 Pro 正式上线

DeepSeek 官网 API 文档的「模型 & 价格」页面新增 DeepSeek-V4-Pro-0813 模型版本，这款旗舰级产品拥有100万个令牌的上下文窗口和38.4万个令牌的最大输出，默认采用思考模式，同时还提供了一个非思考模式的端点，用于处理对延迟敏感的调用。目前官方尚未发布其更新日志。

SpaceXAI 发布 Grok 4.6 模型 剑指 GPT-5.6 Sol

Grok 4.6 正式发布，在 Grok 4.5 基础上强化了长时间运行的智能体任务及复杂交互和视觉工作，能处理多步骤复杂任务，在多项基准测试中达前沿水平，与 GPT-5.6 Sol 在 Artificial Analysis Intelligence Index 成绩相同。该模型已在 Cursor、Grok Build 上线并通过 API 开放至合作平台，首周这两项服务提供两倍内含使用额度。其经历了更长的补充训练，经多阶段优化，实际测试中擅长将宽泛产品构想转化为可运行初版，还会自主测试验证，视觉和交互式项目成果提升。安全方面调整了防护机制，开展了历来最大规模的安全评估。价格为每 100 万输入 Token2 美元、输出 Token6 美元，更快版本价格翻倍。

阿里千问前技术负责人林俊旸宣布创办 Pragmatik，获腾讯等投资

林俊旸于今日宣布在上海创办新公司 Pragmatik Labs（语用科技，简称 p7k），研究方向为横跨数字世界和物理世界的下一代智能体。林俊旸出生于 1993 年，曾是阿里最年轻的 P10 级技术专家，与唐杰、杨植麟、姚顺雨并称「基模四杰」，今年 3 月从阿里离职。该公司此轮融资达数亿美元，由高榕创投和红杉中国共同领投，腾讯和上海未来产业基金提供支持，其中高榕创投、红杉中国各投约 1 亿美元，腾讯投约 2000 万美元，公司投后估值约 20 亿美元。

腾讯控股：二季度录得负自由现金流人民币 138 亿元

腾讯控股（HK0700）二零二六年第二季录得负自由现金流人民币 138 亿元，原因是经营活动现金净额 527 亿元被资本开支付款、媒体内容付款及租赁负债付款超额抵销。其经营现金流包含大额 AI 相关预付款项，用于 AI 基础设施建设及云服务需求等。若剔除算力采购预付款项，自由现金流为人民币 376 亿元。

腾讯总裁刘炽平：微信将成为以 AI 为先的生态系统，未来能转化为巨大价值

2026 年 Q2 财报业绩电话会上，腾讯总裁刘炽平谈及微信 AI「小微」灰测反馈，认为 AI 能让微信更智能化，未来微信将成为以 AI 为先的生态系统，其生态会扩大并转化为巨大价值。腾讯当季营收 2047.9 亿元，同比增 11%。Non-IFRS 经营利润 756.4 亿元，同比增 9%。资本开支 527.8 亿元，同比增 176%，AI 投入加大。微信 AI「小微」于 6 月启动灰测，由自研 WeLM 模型驱动，部分场景调用 DeepSeek，入口覆盖多个高频场景，可通过指令操控多种功能。腾讯混元大模型本季度完成 Hy3 正式版迭代，上线一周调用量较上一代增超 68 倍，更大参数规模的 Hy4 计划近期发布。

马斯克：AI 收入下月将超越 SpaceX 全部其他业务

马斯克在 SpaceX 内部全员会议上称，AI 已成为公司未来极其重要的一部分，公司 AI 收入将于下月（九月）超过其他所有收入，并在第四季度大幅领先，强调必须赢得 AI 竞争，未来将由 AI 和机器人主导。

封禁 3 年后 美国政府设备重新允许使用 TikTok

封禁 3 年后，美国政府设备重新允许使用 TikTok。白宫管理和预算办公室发布备忘录，撤销 2023 年禁止在政府设备上使用 TikTok 的指令，此前美国司法部出具意见称 TikTok 已不再符合相关法律定义的「受管制应用」标准。

机构称长江存储市占率首次跻身全球第三

市场研究机构 Counterpoint 数据显示，2026 年第二季度 NAND 闪存市场按出货量计，三星、SK 海力士、长江存储份额分别为 25%、22%、14%，长江存储市占率首次跻身全球第三。按营收计长江存储排第五，因产品多集中在消费级应用，高单价数据中心企业级固态硬盘占比低。

谷歌：Gemini 月活用户数超过 10 亿

谷歌 CEO 皮查伊称，AI 模型 Gemini 月活用户数已突破 10 亿，为公司历史上成长最快的产品。

黄仁勋澄清 5000 亿美元融资计划细节，英伟达信用风险回落

英伟达信用风险指标周二回落，因公司称将限制 5000 亿美元 AI 投资融资计划的自身风险敞口，相关债券利差、5 年期信用违约掉期报价均收窄，华尔街对该计划的担忧有所缓解。此前该计划相关报道及公告因实施时间和结构细节披露少，曾令投资者急于厘清其对英伟达的潜在影响，该计划凸显英伟达高度依赖科技公司举债支撑的投资支出。

豆包宣布推出学生优惠活动

豆包推出学生特惠活动，为完成认证的在校大学生提供 2.5 倍免费额度，还可 38 元连续包月原价 68 元 / 月的专业版标准套餐，辅助其解决科研、创作等复杂学习任务。

上半年中国人形机器人出货量全球占比超 97%

今年上半年全球人形机器人出货量约 1.91 万台，是去年同期三倍多，中国出货量占比超 97%。其中智元、宇树科技出货量分列全球前两位，远超美国头部企业，另有三家中国企业也占据一定份额。用途上，工业和商业领域占比超七成，较去年同期提升明显。预计今年全年出货量约 6 万台，2030 年将达 50 万台。

三星在半导体研发中引入 Claude 模型 耗时一月的设计验证缩短至两天

三星电子引入 Anthropic 的大语言模型 Claude，向软件开发人员开放其 AI 编程工具 Claude Code 约三个月后，显著提升了研发效率，将原本预计耗时一个月以上的客户定制 SoC 验证任务缩短至两天，工作效率提升约 15 倍。

OpenAI 正式发布 Linux 版 ChatGPT 预览应用

OpenAI 正式推出 Linux 版本的 ChatGPT 桌面端预览应用，该应用整合了常规对话、ChatGPT Work 及 Codex 功能，提供 x64 和 arm64 架构的.deb 与.rpm 格式安装包，适配 Ubuntu24.04LTS、26.04LTS、Debian13、Fedora43 和 44 等主流系统。今年 7 月 OpenAI 曾对桌面应用进行重大整合，将聊天、工作模式与编程助手融为一体，支持用户自定义图标样式并保留原有任务进度。

星巴克回应「蜜雪冰城代工」：对市场传闻和猜测不作评论

星巴克中国8月12日表示，对于网传“星巴克纸杯吸管或由蜜雪冰城代工”、“更换咖啡豆供应商”等信息，对市场传闻和猜测不作评论。目前星巴克各项业务均在正常运行中。

西湖机器人半年 4 轮融资、总额 5 亿元，押注具身智能「GPT 时刻」

西湖机器人是西湖大学 AI 和机器人领域首个成果转化项目，由西湖大学终身教授王东林、张岳分别任创始人与联合创始人，核心团队汇聚顶尖企业与高校人才，坚持全栈自研路线，打通具身 AGI 三大核心板块。该公司半年内连续完成 4 轮融资累计 5 亿元，最新 A 轮由海愿资本领投近亿元，资金将用于人形机器人全身统一大模型研发及人才培育基地布局。公司推出原创自研 GAE 身外化身系统，已完成多款双足人形机器人适配验证并与头部厂商联合部署。今年初发布全栈智能平台人形机器人「西湖 o1」，搭载 GAE 系统，具备自主运动决策能力，硬件上采用自研关节、折叠及模块化设计，适用于多类场景。目前，公司已与阿里巴巴、英特尔等达成深度合作，拿下近亿元订单，业务覆盖科研教学等场景，还将与龙游政府打造实训基地，未来计划向高危工业巡检等场景输出解决方案。