七月十七日:AI史上最密集一天——Kimi K3、Gemini 3.5 Pro、WAIC三线齐发
月之暗面发布2.8万亿参数全球最大开源模型Kimi K3,Google Gemini 3.5 Pro携200万token上线,WAIC 2026习近平出席开幕,xAI开源Grok Build,EU强制Google开放Android
本期内容 · 8 条
月之暗面发布2.8万亿参数Kimi K3:全球首个3T级开源模型,48小时自主设计芯片
Kimi K3采用896专家MoE架构(每token激活16个),原生视觉理解+100万token上下文。训练效率较K2提升2.5倍。48小时自主完成45nm芯片设计全流程,另从零构建MiniTriton GPU编译器媲美Triton。基准测试逼近GPT-5.6 Sol和Claude Fable 5。权重7月27日发布,API定价$0.30/$3/$15每百万token。年内完成6轮融资,估值315亿美元。Elon Musk在X回复'Impressive'。
WAIC 2026上海开幕:习近平首次线下出席,300+全球首发,AI叙事从参数比拼转向产业落地
2026世界人工智能大会7月17-20日在上海'三地四馆'举行,习近平首次线下出席。展览面积首破10万m²,1100余家企业参展、300余项全球首发。华为Atlas 950超节点(1024卡真机)、东方算芯DF1000(14nm对标4nm)、宇树载人变形机甲GD01、智元远征A3Ultra全天候机器人、磐石·科学基础大模型2.0等集中亮相。1400余位全球嘉宾含7位图灵奖得主+3位诺奖得主。上海AI产业2025年规模6370亿元同比增39.5%,智能算力突破16万P。大会核心信号:行业焦点从模型参数军备竞赛全面转向Agent生产力落地与产业规模化。
Google Gemini 3.5 Pro终发布:200万token上下文,推倒重训押注前端代码反超Fable 5
原定6月发布跳票至7月17日,谷歌放弃Gemini 2.5 Pro基座从零重训。200万token上下文窗口为GPT-5.6标准版的15倍以上,可单次处理整个企业知识库。引入Deep Think深度思考推理层,面向数学推理、法律分析和长期规划任务。前端与视觉代码生成能力据称跨越式提升,LM Arena匿名测试中多项指标反超Fable 5。API与Vertex AI同步上线,Deep Think仅限$250/月Ultra订阅。同步基于新底座开发Nano Banana Pro,剑指GPT-Image 2。
EU依DMA强制Google开放Android与搜索:AI竞争格局遭结构性重塑
欧盟依据《数字市场法案》(DMA)裁定Google须向竞品搜索引擎和AI助手提供Android系统功能同等接入权(2027年7月前)及Google搜索数据(2027年1月前)。违规最高罚款全球年收入10%。Gemini在Android上的默认助手优势和搜索数据护城河在欧洲面临结构性瓦解。同日德国将AI搜索引擎首次纳入媒体法监管,裁定AI概览属于'独立内容'不受DSA免责保护。
Apple Intelligence正式获批入华:阿里千问担任主力模型,端侧AI生态全面启动
Apple Intelligence获网信办批准在中国上线,阿里巴巴千问(Qwen)为核心模型合作伙伴,百度同步确认参与,DeepSeek与字节跳动整合方案正在探索中。Apple大中华区Q2营收$20.5B同比+28%,中国市场成AI功能落地的关键一役。此前7月15日已先行完成7款端侧AI产品备案(Apple智能/华为小艺/OPPO AndesGPT/vivo蓝心/小米澎湃AI/三星盖乐世AI/努比亚豆包)。
xAI开源Grok Build:Rust全屏终端编码Agent,13.6K Stars但社区信任存疑
Grok Build为xAI Grok生态背后的Rust TUI编码Agent,支持代码理解、文件编辑、Shell执行、网页搜索和长任务管理。可交互运行、无头脚本/CI模式或通过ACP协议嵌入编辑器。内置Mermaid终端渲染、Docker沙箱,预编译macOS/Linux/Windows二进制文件。社区反应分裂:认可开源策略对标Meta Llama路径,但也指出xAI曾被抓到窃取用户数据、$600亿收购Cursor后开源存在战略性矛盾。已出现社区fork版本'gork-build'。
MIT「直觉玩家」模型登Nature:人类面对新游戏的推理只需5-7次浅层模拟
MIT团队在Nature发表Intuitive Gamer计算认知模型,基于121种双人策略棋盘游戏和1000余名参与者的行为实验揭示:人类面对全新游戏时并非深度搜索,而是依靠少量(~5-7次)、快速、浅层的目标导向模拟。模型与人类公平性判断相关性达0.81,趣味性判断拟合度0.57,首次行动预测优于专家模型和蒙特卡洛树搜索。为构建更贴近人类推理方式的AI系统提供启示:未来的AI不仅需要学会解决新任务,也需要判断哪些任务值得进一步思考。
X双响:Elon Musk回复Kimi K3 'Impressive',Sam Altman发布'Concerning'引发安全猜测
7月17日,Elon Musk在Artificial Analysis发布的Kimi K3基准测试推文下回复'Impressive',同日Altman 7月14日发布仅含'Concerning'一词的推文持续发酵。业界猜测Altman所指可能是OpenAI Atlas关闭、公司5%股权上贡政府谈判、或GPT-5.6发布后的内部安全评估分歧。两则推文折射出AI行业巨头的两极态度:Musk对开源崛起表示赞赏,Altman对某些未公开进展表达隐忧。
月之暗面发布2.8万亿参数Kimi K3:全球首个3T级开源模型,48小时自主设计芯片
7月17日凌晨,月之暗面正式发布Kimi K3——全球首个参数突破2万亿级别的开源模型。K3采用896专家MoE架构,每token激活16个专家,搭载自研Kimi Delta Attention(KDA)和Attention Residuals(AttnRes)两项架构创新,训练效率较K2提升约2.5倍。
要点:
- 2.8万亿总参、原生视觉理解、100万token上下文窗口
- 基准测试:综合智能接近Claude Fable 5和GPT-5.6 Sol,在DeepSWE(67.5%)、Program Bench(77.8%)、SWE Marathon(42.0%)等编码基准表现突出
- 概念验证级演示:48小时自主完成45nm工艺芯片设计全流程(使用开源EDA工具),从零构建MiniTron GPU编译器性能媲美Triton和torch.compile
- 完整权重7月27日发布,API定价$0.30(缓存命中)/$3.00(缓存未命中输入)/$15.00(输出)每百万token
- 年内完成6轮融资,最新投前估值315亿美元,ARR突破3亿美元(API收入占比超七成)
- Elon Musk在X上回复”Impressive”,B站#KimiK3实测挑战#话题播放量2800万+
编者评: Kimi K3的发布标志着中国开源大模型正式迈入”万亿级竞争”新阶段。最值得关注的不只是参数规模——而是48小时自主设计芯片这一”概念验证”:它不是在回答关于芯片的问题,而是在实际完成芯片设计任务。这与DeepSeek的”开源倒逼闭源降价”策略形成互补:月之暗面选择的是”先用产品验证能力,再用开源释放生态”的双轨路线。但$15/百万token的输出定价对于一个”开源”模型而言确实偏高——Hacker News上已有评论将其解读为”commoditize your complement”策略的变体:靠模型免费吸引生态,靠基础设施赚钱。
WAIC 2026上海开幕:习近平首次线下出席,300+全球首发,AI叙事从参数比拼转向产业落地
7月17日,2026世界人工智能大会暨人工智能全球治理高级别会议在上海世博、张江、西岸”三地四馆”同步启幕。这是WAIC历史上规格最高的一届:习近平主席首次线下出席大会。
要点:
- 展览面积首破10万m²,1100余家企业参展,300余项全球首发,超260款大模型集中亮相
- 华为Atlas 950超节点真机首秀(业界最大1024卡超节点),东方算芯DF1000展示14nm制程对标4nm性能
- 具身智能成另一主角:161家企业314项展品覆盖具身大模型到核心零部件全产业链。宇树载人变形机甲GD01(人形/四足切换)、智元远征A3Ultra(24小时自主作业)
- 磐石·科学基础大模型2.0发布:中科院多所联合研发,三层递进架构+800万条科学推理数据,在天文、力学、化学等领域已实现仿真计算提速
- 1400余位全球嘉宾,含7位图灵奖得主、3位诺奖得主、1位菲尔兹奖得主。Richard Sutton、Yoshua Bengio、姚期智等发表演讲
- 上海AI产业2025年规模6370亿元同比增39.5%,智能算力突破16万P,人才近30万(占全国1/3)
- CGTN总结大会信号:“超越更大模型”——行业焦点从模型参数军备竞赛全面转向Agent生产力落地与产业规模化
编者评: WAIC 2026最值得注意的不是单款产品,而是整体叙事的转向。从”百模大战”到”产业落地”的话语转换不只发生在中国——同期Google和Anthropic也在强调Agent和工具使用。但中国的差异化在于制造能力+政策支持的”物理AI”落地速度:GD01变形机甲、A3Ultra全天候机器人这些产品不是demo,而是有明确商业场景的产品。另一个被低估的信号是14nm对标4nm的东方算芯——在中美芯片脱钩背景下,这是一条极具战略价值的”第三条道路”。不过也要冷静看到,260+大模型同台也意味着行业洗牌加速:能在WAIC 2027上继续出现的,恐怕不到三分之一。
Google Gemini 3.5 Pro终发布:200万token上下文,推倒重训押注前端代码反超Fable 5
在跳票一个多月后,Google DeepMind于7月17日正式发布Gemini 3.5 Pro。这不是小修小补——谷歌放弃了原有的Gemini 2.5 Pro基座,从零开始重新预训练。
要点:
- 200万token上下文窗口:GPT-5.6标准版(12.8万)的15倍以上,Anthropic Fable 5(25.6万)的约8倍。可单次处理约1500页技术文档或整个企业代码库
- 引入Deep Think深度思考推理层,面向数学推理、法律分析和长期规划任务,限$250/月Ultra订阅
- 前端与视觉代码生成能力据称跨越式提升,LM Arena匿名测试中多项指标反超长期霸榜的Fable 5
- API与Vertex AI同步上线,据传标准版定价10每百万token,大幅低于GPT-5.6
- 基于新底座同步开发Nano Banana Pro图像生成模型,正面挑战GPT-Image 2
- 延迟期间多位核心AI研究员离职加入竞争对手
编者评: Google这次的牌打得很聪明。200万token上下文不是为刷榜,而是为”长文档/长任务/长Agent”这个真实场景准备的——当你能把整个代码库+文档+历史对话塞进一次API调用,很多”分块-检索-拼接”的工程活就消失了。前端代码反超Fable 5是另一张有杀伤力的牌——UI生成是付费用户感知最强的能力之一。但”推倒重训”也暴露了Google此前的尴尬:旧Gemini在代码赛道落后太多,以至于修补不如重建。更值得担忧的是核心研究员的持续流失——这比跳票更伤元气。
EU依DMA强制Google开放Android与搜索:AI竞争格局遭结构性重塑
7月16-17日,欧盟和美国监管双重发力,对AI平台的竞争壁垒发起正面冲击。
要点:
- 欧盟依据《数字市场法案》(DMA)裁定:Google须在2027年7月前向竞品AI助手和搜索引擎开放Android系统功能同等接入权,2027年1月前开放Google搜索数据。违规罚款可达全球年收入10%
- 德国同步开创先例:将AI搜索引擎和聊天机器人首次纳入媒体法——裁定AI生成的回答是平台”独立创作的内容”,不享受DSA免责保护,Google AI Overviews和Perplexity首当其冲,有一个月上诉期
- 直接影响:Gemini在Android上的默认助手优势、Google搜索数据为AI训练提供的护城河,在欧洲市场面临结构性瓦解
编者评: 这是AI监管从”讨论原则”走向”改变竞争格局”的标志性时刻。DMA对Android的裁定本质是在拆”操作系统→默认AI助手”的垂直整合——这恰恰是Google Gemini最核心的分发优势。德国将AI概览纳入媒体法的做法更加激进:等于告诉所有AI搜索产品,“你生成的摘要就是你的内容,别想用’我只是引用’来免责”。两条线的交汇意味着AI平台的垄断惯性正在遭遇前所未有的监管压力——而这发生在Gemini 3.5 Pro发布的同一天,不免有些讽刺。
Apple Intelligence正式获批入华:阿里千问担任主力模型,端侧AI生态全面启动
网信办正式批准Apple Intelligence在中国上线,确认阿里巴巴千问(Qwen)为核心模型合作伙伴。百度同步确认参与,DeepSeek与字节跳动的整合方案正在探索中。
要点:
- 这是继7月15日7款端侧AI产品备案后的第二步——从”端侧AI持牌经营”升级为”AI功能全面入华”
- Apple大中华区Q2营收$20.5B,同比+28%,中国市场的AI功能部署对Apple具有重大战略价值
- 多模型合作伙伴策略(阿里主力+百度辅助+DeepSeek/字节在谈)表明Apple不想在模型层被单一供应商绑定
编者评: Apple Intelligence入华的意义远大于AI功能本身。这确立了”本土模型+海外平台”的合作范式,对Google、Meta等尚未进入中国AI市场的美国公司有示范效应。从阿里的角度看,这是千问作为”对外生态出口”的里程碑事件——不同于DeepSeek和Kimi走开源/闭源自建路线,千问正在成为中国AI的”外交语言”和”基础设施”。多模型合作框架也暗示Apple对中国AI生态的深度绑定意图——Siri在中国不会只叫一个模型的名字。
xAI开源Grok Build:Rust全屏终端编码Agent,13.6K Stars但社区信任存疑
xAI将Grok生态背后的核心编码Agent——Grok Build以Apache 2.0协议开源。这个Rust编写的全屏终端应用迅速获得13,600+ GitHub Stars。
要点:
- 全能编码Agent:代码理解、文件编辑、Shell执行、网页搜索、长任务管理、Mermaid图表渲染
- 支持三种运行模式:交互式TUI、无头脚本/CI集成、通过Agent Client Protocol(ACP)嵌入编辑器
- 内置Docker沙箱支持,预编译macOS/Linux/Windows二进制文件
- 社区争议:xAI此前被曝窃取用户数据,近期又以$600亿收购Cursor——开源Grok Build被部分开发者视为战略性”洗白”或打击竞争对手
- 社区已出现fork版本”gork-build”
编者评: Grok Build的开源是xAI”开源护城河”战略的重要一步——延续Meta Llama的策略,用开源生态对抗闭源巨头的分发优势。但两个事实让这次开源的纯粹性打了折扣:一是数据窃取历史建立的不信任(开源代码和尊重用户隐私是两回事),二是$600亿收购Cursor后的开源动作——这更像是在编码Agent赛道建立”事实标准”而非真心拥抱开源。不过话说回来,Rust+TUI+ACP协议的技术栈组合确实漂亮,比Electron套壳方案轻量得多。关键在于社区是否愿意在xAI的旗帜下贡献代码。
MIT「直觉玩家」模型登Nature:人类面对新游戏的推理只需5-7次浅层模拟
MIT团队在Nature发表”Intuitive Gamer”计算认知模型,基于121种双人策略棋盘游戏和1000+参与者的行为实验,揭示人类面对全新任务时的认知机制。
要点:
- 核心发现:人类并不进行深度搜索,而是依靠少量(5-7次)、快速、浅层的目标导向模拟
- 模型与人类公平性判断相关性0.81(接近理论上限0.82),首次行动预测优于专家模型和蒙特卡洛树搜索
- 提出”推理模块+玩家模块”双组件架构:推理模块调用玩家模块进行少量自我对弈模拟以推断胜负概率
- 论文同时指出”直觉玩家”模型尚不能解释人类如何创造和修改游戏规则
- 对AI的启示:未来的AI不仅需要学会解决新任务,也需要判断哪些任务值得进一步思考——这是一个”元认知”层面的挑战
编者评: 这篇Nature论文的价值不在于提出了多复杂的模型,而在于用大规模行为实验量化了一个我们直觉上知道但缺乏数据支撑的结论:人类推理不是AlphaGo式的深度搜索,而是”够用就好”的快速浅层模拟。这对AI研究有双重启示:一方面,当前的Agent系统过度依赖昂贵的深度推理(链式思维+多次验证),可能不是最优解;另一方面,文章末尾提出的”人类还会创造和修改规则”指出了当前AI的根本局限——模型擅长在给定规则下优化,但理解”规则为什么这么定、能不能改”是另一回事。这恰恰与WAIC上”从参数到落地”的叙事形成呼应:接下来的AI创新,不在于把模型再做大多少倍,而在于理解人类式的”够用就好”。
X双响:Elon Musk回复Kimi K3 “Impressive”,Sam Altman发布”Concerning”引发安全猜测
7月17日,两则来自AI行业顶级人物的极简推文在X上形成鲜明对比。
要点:
- Elon Musk在Artificial Analysis发布的Kimi K3基准测试推文下仅回复一词:“Impressive”。这是这位xAI创始人对中国开源模型罕见的正面评价
- Sam Altman于7月14日发布仅含”Concerning”一词的推文,至今无后续解释。业界猜测方向包括:OpenAI Atlas突然关闭(7月10日下线)、公司提议5%股权上贡美国政府换取监管松绑的谈判进展、或GPT-5.6发布后内部安全评估的分歧
- 两则推文合计浏览量超过200万,折射出AI行业领导者的两极心态:乐观者对开源崛起表示赞赏,忧虑者对某些未公开进展保持警惕
编者评: Musk的”Impressive”和Altman的”Concerning”构成了7月AI行业最精炼的情绪镜像。Musk的赞赏不难理解——xAI自身的Grok开源策略与月之暗面形成战略共振,“中国开源模型越强,xAI开源生态越有价值”。Altman的”Concerning”更加耐人寻味:一个手握GPT-5.6和5%股权上贡方案的人,在担心什么?是模型能力本身的失控风险,还是OpenAI在政商博弈中的处境?两则推文放在7月17日这个”AI史上最密集发布日”来看,恰好点明了当前AI行业的核心张力:一边是能力边界的不断突破,一边是对突破速度本身的深深不安。
编者按
2026年7月17日将被记入AI发展史。这一天至少发生了五件里程碑级事件:Kimi K3发布(全球最大开源模型)、WAIC 2026开幕(习近平首次线下出席)、Gemini 3.5 Pro终于上线(推倒重训后的翻身仗)、EU DMA裁决强制Google开放Android(监管重塑竞争格局)、Apple Intelligence获批入华(本土AI+全球平台的范式确立)。
三条叙事线索在此交汇:
1. 开源对闭源的冲击进入”万亿级”阶段。 Kimi K3的2.8万亿参数不是终点——月之暗面自己承认仍落后于Fable 5和GPT-5.6 Sol。但”逼近”本身的意义巨大:当开源模型以半年一代的速度缩小差距,“闭源溢价”还能维持多久?Musk的”Impressive”不仅是客气话,更是对开源生态的战略背书。
2. 中国AI从”追赶者”变为”并行者”。 WAIC的数据很说明问题:上海AI产业年增39.5%、全球开源大模型下载量中国第一、美国企业也开始选用中国模型。但CGTN和多家媒体同时指出”仍客观存在差距”——尤其在用户体验层面。这不是谦虚,是清醒。
3. 监管与创新从”博弈”走向”共生”。 EU DMA、德国媒体法、Apple入华审批——三条监管线在同一天交汇。区别在于:EU是在”拆墙”(强制开放平台),中国是在”搭桥”(审批入华+本土合作)。两种路线尚无高下之分,但都指向同一个趋势:AI治理已从原则讨论进入可执行、可诉讼、可罚款的操作阶段。
最后,今天的主题词之所以是”密集”,不仅因为事件多,更因为这些事件之间的内在关联。Kimi K3的开源→Musk的”Impressive”→xAI的Grok Build开源——这是一条线。WAIC的产业落地叙事→Gemini 3.5 Pro的Agent化定位→Nature的”人类直觉推理”——这是另一条线。AI不再是一个个孤立的模型发布,而是一张越织越密的技术-产业-监管-学术网络。身处这张网中的人,既兴奋,也紧张。