7月19日AI午后速递｜DeepSeek V4明日杀到价格仅Opus七分之一、Kimi K3撼动Anthropic估值、Fable 5永久可用、全美125地抗议AI数据中心——8件大事看懂AI圈

这个周末的AI圈，热闹得像过年。DeepSeek V4正式版突然曝光，最快明天发布，性能直逼Opus 4.8但价格只有它的七分之一；Kimi K3持续发酵，直接把Anthropic的估值预期打了下来；Fable 5宣布永久可用，巨头低头认怂；大洋彼岸，全美125个地点的人走上街头抗议AI数据中心无序扩张……

别急，一件一件来，用大白话给你讲清楚每件事对普通人意味着什么。

一、DeepSeek V4明日发布：顶级性能，价格只要七分之一

全网等了整整三个月的 DeepSeek V4 正式版，终于要来了。据多方消息，模型最快7月20日对外发布，最迟也会在近日上线。目前已有部分开发者拿到了灰度测试权限，分为 V4 Flash 和 V4 Pro 两个版本。

最炸裂的是性能数据——

• SWE-bench 得分 80.6%，接近 Anthropic Opus 4.6 的 80.8%
• 输出定价 $3.48/百万Token，而 Opus 4.6 是 $25/百万Token——相差7.2倍
• 100万上下文窗口，与 Opus 4.6 持平
• 新增高峰期分时定价：北京工作时间成本翻倍，非高峰时段更便宜
• 代码生成能力直追 GPT-5.6 Sol，智能体能力大幅增强，3D建模与SVG图像生成显著优化

有个有趣的辨别方式：拿到灰度测试的开发者发现，新版思考内容会以 “I’m”、”I’ll” 作为开头，区别于旧版统一使用的 “Let me” 句式。

对普通人的影响：这意味着你以后用AI写代码、做分析的成本可能大幅下降。DeepSeek一贯的策略是”性能打平、价格低一截”，如果V4真的做到顶级性能但只要七分之一的价格，那又是一次经典的”DeepSeek时刻”——把整个行业的价格水位拉下来，让普通人也用得起顶级AI。

二、Kimi K3冲击Anthropic估值：开源模型开始动摇闭源巨头根基

7月19日，预测市场 Polymarket 上出现了一个引人注目的变化：Anthropic 年底前估值达到1.5万亿美元的概率，一天内从77%暴跌至67%，下降了11个百分点。Polymarket 直接将这一变化与月之暗面发布 Kimi K3 联系起来。

但这只是表面。更深层的故事是——Kimi K3 的发布让整个硅谷开始重新思考闭源AI公司的护城河到底还在不在。

管理着超百亿美元资产的科技投资人 Gavin Baker 给出了一个犀利判断：Kimi K3 对世界上几乎所有公司都是利好，但对 Anthropic 和 OpenAI 是一个麻烦的信号。他的逻辑是：过去几年，OpenAI 和 Anthropic 凭借领先的闭源模型垄断了AI技术栈的利润。但开源模型打破了这个逻辑——模型层少挣的每一美元，都会流向芯片厂商、数据中心和云服务商。

不过K3也不是没有争议。有开发者指出，K3虽然单价看起来跟竞品差不多，但完成同样任务时消耗的Token数量显著更多，被形容为”代币浪费者”。还有用户发现，100万上下文需要$79/月的高级套餐才能用，$19的入门套餐实际体验可能不如$20的OpenAI订阅。

加州大学伯克利分校教授、Arena联合创始人 Ion Stoica 判断，中国开放模型与前沿闭源模型的差距可能已缩短到2-3个月。而此前Anthropic高管还认为领先6-12个月。

对普通人的影响：开源和闭源的竞争越激烈，消费者越受益。当顶级AI能力不再被两三家公司垄断，你选择AI工具时的议价权就更强，也能用上更便宜、更好的产品。这场竞争的最终赢家是用户。

三、Fable 5永久可用：Anthropic低头认怂的背后

就在Kimi K3发布后一天，Anthropic做出了一个罕见的决定：自7月20日起，Claude Fable 5 将永久保留在全系订阅套餐内，不再执行此前计划的下架和限流。

• Max、Team Premium 用户：Fable 5 内置订阅，但使用额度限制在总配额的50%
• Pro、Team 标准版用户：可持续使用额度访问 Fable 5，同时发放 100美元一次性额度补偿

要知道，就在几天前，Anthropic 还计划对 Fable 5 实施下架管控，靠高定价、高门槛维持旗舰模型的溢价。但外部竞品接连出招彻底打乱了原有战略——先是 OpenAI 的 GPT-5.6 Sol 以三分之一的价格提供可比性能，然后是 Kimi K3 直接把价格打到了更低。

Anthropic 官方解释称”Fable 市场需求波动超出预期”，但行业普遍解读为：这是巨头为留住用户、抵御外部竞争做出的妥协。同时，OpenAI 也宣布重置 Codex 和 ChatGPT Work 的额度。两家巨头同时”滑跪”，Kimi K3 发布的含金量还在上升。

对普通人的影响：如果你是Claude的付费用户，Fable 5永久可用是个好消息——不用再担心哪天突然用不了了。但也意味着巨头们开始”卷”起来了，订阅用户能以更低成本用上更强的模型，这是竞争带来的红利。

四、Grok 4.6下周完成训练：2万亿参数，马斯克喊话要超Kimi 3

马斯克7月18日在X上透露，xAI正在训练的下一代 Grok 4.6 模型参数规模将达到2万亿，预计下周完成初始训练。他表示，2万亿参数模型在各方面都优于当前的1.5万亿参数版本（Grok 4.5），同时推理速度和Token效率将接近现有的1.5T模型。马斯克还”猜测”它可能会超过月之暗面最新的 Kimi 3。

算力方面，Grok 4系列依托代号”Colossus”的超大规模AI算力集群训练，搭载约20万块GPU。马斯克的核心目标是：在扩充模型规模的同时稳住运行效率，兼顾性能与使用成本。

对普通人的影响：参数规模从1.5万亿跳到2万亿，听起来像天文数字，但关键在于”推理速度接近前代”这个承诺。如果属实，意味着更强的AI能力不会以更高使用成本为代价。Grok系列与X平台深度绑定，未来你可能直接在社交媒体里用上更聪明的AI助手。

五、全美125地抗议AI数据中心：电费涨了、水被用了，居民不干了

7月18日，美国发生了一件容易被科技圈忽视、但影响深远的事——一个名为”人类优先”(HumansFirst)的草根组织在全美至少125个地点同步举行抗议活动，反对AI数据中心的”不受控扩张”。这是美国首个针对AI基础设施建设的全国性协调行动。

• 抗议者核心诉求：开发流程公开透明、保护水资源与环境、社区共享高薪岗位、建立问责机制
• 部分地方官员与开发商签署保密协议批准项目，居民事后才知道
• 截至2025年底，美国已有1400多座AI数据中心建成或获批
• 仅今年前三个月，草根组织已推动至少75个项目延期或取消，涉及投资超1300亿美元

路透社与益普索6月民调显示，仅14%的美国人支持在自家社区建数据中心。更值得关注的是，这成了少数能跨越党派分歧的议题——共和党大本营得州有16场抗议最多，民主党主政的加州有7场。纽约州已签署行政命令，禁止一年内建造50兆瓦以上的大型数据中心，成为全美首个”暂停”的州。

对普通人的影响：AI不是凭空出现的，每一次对话背后都有巨大的电力和水消耗。这场抗议说明，AI发展的社会成本正在被普通人感知。未来AI基础设施的选址、环保标准会更加严格，这可能会影响AI服务的价格和普及速度。对中国来说，这也是一个警示——AI发展需要兼顾社区利益。

六、Databricks估值1880亿美元：CEO说中国开源模型是成本控制关键

数据与AI公司 Databricks 宣布正在完成一轮约30亿美元的战略融资，估值达到 1880亿美元，较上一轮的1340亿美元增长40%。本轮融资由现有投资者 Coatue 领投，预计今年夏末完成。

Databricks 的年化营收已达 54亿美元，同比增长65%，其中AI产品年化销售额超14亿美元。公司拥有800家年消费超100万美元的客户。

最值得关注的是CEO Ali Ghodsi的表态：他明确表示采用中国开源模型是AI成本控制的关键一环。Databricks 托管了包括智谱GLM、月之暗面Kimi在内的中国开源模型，内部评测显示智谱GLM-5.2在处理高难度编程任务时，总成本显著低于Anthropic和OpenAI的闭源模型。Ghodsi称Kimi K3的发布是”游戏规则的改变者”。

对普通人的影响：Databricks是很多企业构建AI应用的基础设施。它大量采用中国开源模型降低成本，意味着你使用的AI产品背后可能跑着中国模型——更低的成本最终会传导到终端用户。这也说明中国AI开源正在全球产生实际商业价值。

七、GPT-5.6声称证明30年数学猜想：但有个重要前提

一个在Reddit上传播的帖子声称，GPT-5.6 Sol Pro 在148分钟内证明了一个困扰数学界30年的凸优化猜想。这紧随OpenAI此前宣布GPT-5.6证明循环双覆盖猜想之后。

但HN（Hacker News）讨论区很快指出了一个重要前提：这个结果并非从零开始。作者花了一年时间用GPT-5.4和GPT-5.5研究这个问题，把所有积累的上下文喂给了最终的Sol Pro。换句话说，AI是在人类持续引导下完成的，而不是独立解题。领域内有人评价这个猜想”虽然小众但确实是真正的贡献”——前提是能通过同行评审。

同时，开发者Charles Azam的测试显示，在一个搜索空间约10^1223的NP-hard光纤网络问题上，Fable 5的表现反而优于GPT-5.6 Sol，结果更加稳定。这说明在硬核优化问题上，谁是最强AI还没有定论。

对普通人的影响：AI开始啃硬核数学问题了，这离普通人看似很远，但意义重大——很多工业优化问题（物流路线、电网调度、芯片设计）本质上都是数学优化。如果AI能在这些问题上提供帮助，最终会体现在更便宜的快递、更稳定的电力、更好的产品上。

八、中国AI开源大模型下载量破100亿次：全球第一

WAIC 2026上公布的最新数据显示，中国人工智能开源大模型累计下载量已突破100亿次，居全球首位。”开源”成为本次大会的高频词。

德国人工智能专家卢比希在大会上表示：”在我看来，国际合作和共同标准是确保人工智能真正造福全人类的唯一正确途径。”

同期，阿里芯片部门平头哥在WAIC上宣布开源SAIL软件栈——这是其”含光”AI处理器的完整软件栈，目标是让开发者更容易上手国产AI芯片，减少对英伟达CUDA生态的依赖。平头哥声称程序员可以在一周内将SAIL适配到主流AI框架。

对普通人的影响：100亿次下载意味着全球开发者在大量使用中国开源模型。这不是抽象的数字——你用的各种AI应用，背后可能就跑着中国的开源模型。开源让AI技术像水电一样成为基础设施，越多人用，生态越繁荣，最终受益的是每一个普通用户。

速览：今日8件AI大事一表看懂

今天的AI圈，最核心的关键词是“价格战”和“开源逆袭”。DeepSeek V4和Kimi K3正在用”顶级性能+地板价”的打法重塑行业格局，迫使闭源巨头Fable 5永久可用、GPT-5.6重置额度。而大洋彼岸的普通人正在为AI发展的社会成本走上街头。AI的未来，不只是技术竞赛，更是成本、治理与社会公平的综合博弈。

关注【uool工具AI导航】，每天看懂AI圈。