AI早报：DeepSeek V4 Pro 正式版上线；小红书要用 AI 当导购；Grok 4.6 正式发布

AI 行业还在加速。过去两天里，从模型发布到产品落地，再到各家公司的 AI 化改造，消息密集到看不过来。下面把重点几条理一理，帮你快速跟上进度。

1. DeepSeek V4 Pro 正式版上线

DeepSeek 正式放出 V4-Pro-0813 版本。官方说法是性能已经能比肩顶尖的 Fable 系列，部分场景还超过了 Opus4.8。价格维持 V4-Flash 的三倍，调用名直接改到新版名称就行，不需要换接口方式。CodeBuddy 也第一时间宣布全系产品切到 V4-Pro 正式版，并提醒用户接下来会调价，建议提前规划用量。

2. Grok 4.6 发布，长程 Agent 能力提升

SpaceX AI 这边放出了 Grok 4.6。亮点还是在复杂、长程任务和推理能力上，代码生成也有改进。多项基准测试里跟 GPT-5.6 Sol 打得有来有回，甚至部分超过。速度和定价依然比较激进，对开发者来说是个可用的选项。

3. 小红书推进“AI 导购”

小红书最近动作不少。除了被曝出在做“AI 导购”——用对话方式推荐商品卡片，直接挂下单跳转——还在加快 AI 社交、社区互动工具的迭代。招聘信息也看得出来，AI 应用研发岗薪资开到了 30-60K×16 薪，最高年薪接近 96 万。这预示着小红书正在从“后台用 AI”往“前台做 AI 产品”转。

4. 菜鸟智能体上线千问开放平台

寄快递也可以靠 AI 了。千问开放平台上线的菜鸟智能体，用户直接说需求，比如物品、预算、上门时间，AI 自动识别并推荐合适的快递公司和寄件方案。大件会推德邦这类承运方，还能自动联想填充信息，减少反复输入。

5. 支付宝鸿蒙版“阿宝”公测

支付宝 AI 原生助手“阿宝”正式面向 HarmonyOS 用户开启公测。现在 iOS、Android、HarmonyOS 三大主流系统都覆盖了。用户用自然语言就能调用各种服务，配合 HarmonyOS 6 超过 7000 万的终端量，AI 助手的入口价值会越来越明显。

6. 荣耀 Robot Phone 全球发布

荣耀发布了 Robot Phone，搭载 Agentic OS 和 YOYO Pro 模式。主打的是伙伴型多模态智能：超长任务执行、跨生态联动、语音交互。硬件上用了骁龙 8 至尊版、7060mAh 青海湖电池、6.31 英寸屏，机身 9.59mm、248g，有星轨银和月影灰两个配色。

7. 韩国 Solar Pro 4 硬刚国际大模型

韩国 Upstage 推出的 Solar Pro 4 上下文窗口高达 512K，输出长度最高 128K，适合处理多份合同、报告。定价相对激进：每百万 Tokens 输入 0.3 美元、输出 1.2 美元。在 Agent Arena 等榜单里已经排到第 44 位，跟 MiniMax M2.7、Nemotron 3 Ultra 处于同一水平线。

总体来看，模型层在卷性能和价格，应用层则在把 AI 往具体场景里塞——电商、快递、手机、操作系统，一个都没落下。AI 从“能聊”到“能用”的过渡期，越来越近了。