AI 洞察与资讯

从“再给我们一个月”到“coming soon” 5月19日 Google I/O，皮查伊在台上说：再给我们一个月。 大家都信了。一个月后没来，改口“7月17日”。等到7月17日，官方页面上只剩五个字：coming soon。 三次延期。这已经不是跳票，是习惯性跳票了。 根子在哪：编程能力没过关 彭博社7月16日的报道点得很直白——根因是代码生成能力没达到谷歌内部预期。 原计划其实是今

中国模型第一次照美国价目表收钱 Kimi K3的API定价：每百万token，缓存命中输入0.30美元，未命中输入3美元，输出15美元。 后两项——3美元输入、15美元输出——和Anthropic的Claude Sonnet 5一模一样。 这事得划个重点：以前国产开源模型主打白菜价抢市场，这次月之暗面直接定到了美国大模型的档位上。不是靠便宜赢了，是开始按能力定档了。 但跟自家比呢？上一代K

盲测登顶，不是自报家门 先说清楚这张榜单的分量。 Arena的前端代码竞技场，用的是Elo对战机制——跟国际象棋排名同一套逻辑。真实开发者提交真实编程任务，两个匿名模型各交一份答案，开发者盲选哪个更好。投票的时候，你不知道自己在给谁投票。 7月17日凌晨榜单更新：Kimi K3拿到1679分，第一。Claude Fable 5，1631分，第二。GPT-5.6 Sol，1618分，第三。智谱

Mira Murati的第一张牌 前OpenAI CTO Mira Murati创立的Thinking Machines Lab，7月17号掏出了第一款基础模型——Inkling。 9750亿参数，MoE架构，激活410亿，完整开放权重。这不是个PPT，是真能下载跑的模型。 有意思的是，Inkling没去卷"最大最强"那个榜单，主打的是一个均衡和可定制。 原生音频，是个亮点 Inklin

2.8万亿，开源模型的天花板又捅破了 7月17号凌晨，月之暗面把Kimi K3放出来了。 2.8万亿参数，MoE架构，每token激活16个专家——全球第一个总参数跨过2万亿门槛的开源模型。在这个意义上，它确实是个节点。 先说结论：综合智能水平，官方测评里仅次于Claude Fable 5和GPT-5.6 Sol。换句话说，开源阵营第一次摸到了闭源前沿的屁股。 不只是堆参数 这次月之暗面

谷歌这波赌得挺大 明天，7月17日，谷歌DeepMind的旗舰模型Gemini 3.5 Pro就要发布了。 本来这玩意儿原定6月就该上线，结果硬生生拖了一个多月。不是常规调参没调好，是谷歌做了一个挺狠的决定——把原来的Gemini 2.5 Pro基座整个扔了，从零开始重新预训练。 说白了就是推倒重盖，不是刷个漆。这烧的是几亿美元和好几个月的GPU时间。 为什么要这么干 原因有三个短板

这AI不是给你打辅助的 7月14日，一家叫InstaLILY的公司拿了6000万美元B轮，领投的是Energize Capital，Home Depot Ventures和United Rentals这些产业资本也跟了。 总融资接近1亿美元，过去一年营收涨了5倍。 但真正值得说的不是钱，是他们做的那个东西——叫Lily，号称全球第一个AI前线部署工程师。 它不是给你当副手的copilot，

这事儿得从一通诈骗电话说起 两年前，Patrick Coughlin的母亲接到一个电话。电话那头，是她女儿的声音——哭着说被绑架了，要赎金。 那是AI语音克隆。只需要几秒钟的音频样本，就能生成以假乱真的合成语音。 Patrick当时是Cisco安全产品高级副总裁，干网络安全和国防这行干了半辈子。但他母亲，还是上当了。 这事儿后来成了他创业的理由。 7月7日，Savi Security

不是键盘，是个音箱 7月15日彭博爆料：OpenAI备受期待的首款消费硬件，是一台不带屏幕的可移动智能音箱。 之前7月15日发售的Codex Micro是跟Work Louder联名的编程宏键盘，属于外设合作。这次曝光的才是OpenAI自己从头造的东西。 定位很直白：AI伴侣 这台设备被定义为"类人AI伴侣"。能控制智能家居、播放媒体、回答问题、回复消息，全面调用ChatGPT能力。

微软开始甩开OpenAI了 Bloomberg 7月14日爆了个料：微软已经在Excel和Outlook里，悄悄把OpenAI和Anthropic的模型换成了自家的MAI系列。 数以万计的周度AI请求，现在全走微软自己的模型处理。这个规模之前从没公开过。 说白了，微软在省钱。 Suleyman把话挑明了 我们每年付给Anthropic一大笔钱，目标就是逐步减少、最终消除这笔不必要的开