AI 模型9510d
月之暗面 Kimi K3 登顶代码榜,300 人团队重燃算力之争
中国实验室月之暗面发布开放权重模型 Kimi K3,在前端代码竞技场排到第一,早期评测认为与 Anthropic 的 Opus 4.8 相当,而团队只有约 300 人。这次发布让「美国的算力优势和出口管制还管不管用」重新成为焦点,Gavin Baker、OpenAI 的 Dean Ball 等人纷纷下场。这是又一款把差距缩到与美国头部实验室相当的中国模型。
硅谷要闻
2026年7月17日星期五 · 29 条要闻 · 汇编自 30 家媒体 · 当日扫描 549 条
今日综述 · The Brief
一名英国用户平时账单不到 1 英镑,周五打开 AWS,数字是 58 亿英镑——亚马逊说是计费系统的估算 bug。这一天硅谷绕着两条主线转:算力紧缺,和中国追平。月之暗面约 300 人团队做出的 Kimi K3 在前端代码榜登顶,重新点燃「算力到底还重不重要」的争论;需求深到 Meta 正和 Anthropic 谈一笔约 100 亿美元的 GPU 租用,SpaceX 则要把数据中心算力卖给五角大楼。市场同时抖了一下:费城半导体指数一周跌约 10%,SpaceX 股价跌破发行价。苹果对 OpenAI 的商业机密诉讼继续升级,白宫也开始插手谁能用上前沿模型。
大厂8810d
苹果升级商业机密战,向数十名 OpenAI 员工发律师函
继上周提起商业机密诉讼后,苹果又向数十名如今在 OpenAI 任职的前员工发出律师函。诉状称不当行为一直牵连到 OpenAI 的首席硬件官,并指有 400 多名前苹果员工已加入该公司。此时 OpenAI 据传正筹划 IPO,外界在争论苹果究竟是忌惮一个硬件对手,还是在趁其虚弱时下手。
AI 模型8710d
Meta 商谈向 Anthropic 出租约 100 亿美元 AI 算力
Meta 正商谈把自家数据中心的算力租给 Anthropic,两年内规模可能达约 100 亿美元,有望成为扎克伯格出售富余算力计划的第一个大客户。此前 Anthropic 已与 SpaceX 的 Colossus 1 数据中心达成类似协议,凸显出连最不缺钱的实验室也抢不到 GPU。
市场8410d
SpaceX 跌破发行价,空头账面获利 87 亿美元
SpaceX 股价盘中跌破发行价,自纳入纳斯达克 100 指数以来已跌近 23%,前一天公司刚在最后一刻中止了星舰试飞。空头账面获利约 87 亿美元,这波下跌正在考验整个 IPO 窗口还能不能开着。Newcomer 指出,这场狂欢撞上了真正的波动。
大厂8210d
AWS 计费故障,部分用户估算账单高达数十亿美元
AWS 的估算计费子系统出现 bug,一度让部分用户看到高达 1.5 万亿美元的账单;一名平时付不到 1 英镑的英国用户,收到 58 亿英镑估算。亚马逊致歉,称显示的估算并不反映真实用量和扣费。此事登上 Hacker News 榜首,动摇了人们对云计费的信任。
政策 / 监管8210d
白宫出手掌控前沿 AI 模型的使用权
多名消息人士告诉 CNBC,特朗普政府正采取措施,主导谁能用上最新的前沿模型,把权力从科技巨头手中收回。另有官员在考虑设立一个向 SEC 汇报的独立 AI 安全监管机构。Gary Marcus、Miles Brundage 等批评者警告,这套正在成形的框架可能沦为「假自愿」监管,而美国的领先优势正在收窄。
市场8010d
芯片股创一年多最差周,费城半导体指数跌 10%
费城半导体指数一周下跌约 10%,为一年多来最大单周跌幅,较 6 月底的历史高点已回落约 20%。领跌的正是把 2026 年行情推上去的那批股票,同时投资者对大型科技公司债券的认购倍数创下 2025 年 9 月以来最低。英伟达和苹果正在互换全球市值最高公司的位置。
硬件 / 芯片8010d
台积电再投千亿美元建亚利桑那厂,对美承诺达 2650 亿
特朗普宣布台积电将再向其亚利桑那芯片工厂投资 1000 亿美元,使公司对美总承诺达到创纪录的 2650 亿美元。政府称这证明其贸易政策正把先进芯片制造迁回美国。而就在同一周,芯片股大幅回调。
硬件 / 芯片7810d
HBM 售罄,英伟达 30 年来首次让数据中心 GPU 优先于游戏卡
据报道,英伟达约 30 年来首次把数据中心 GPU 的供货排在游戏卡前面,原因是台积电先进封装产能已排到 2027 年年中,SK 海力士的 HBM 也已售罄。这股紧缺正在外溢——AI 带动的存储涨价已经冲击印度智能手机市场。英伟达还把 Vera Rubin 宣传为在后训练阶段实现「每美元智能」最大化。
融资7810d
AI 推理芯片公司 Etched 拟按最高约 200 亿美元估值融资
专做 AI 推理芯片的 Etched 正按约 200 亿美元估值融资,同时还有一轮由红杉领投、估值 100 亿美元的独立融资。这种双轨融资是芯片创业公司集体冲刺的一部分——英伟达收购 Groq 后,大家重新燃起对高额收购和授权的期待。这也表明投资者押注下一个利润池在推理,而非训练。
AI 模型7612d
Thinking Machines 发布开放权重模型 Inkling
由 Mira Murati 创立的 Thinking Machines 发布了开放权重模型 Inkling,发布帖迅速登上 Hacker News 榜首。此举把这家最受关注的新实验室之一,也送进了开放权重阵营,与本周的 Kimi K3、xAI 的 Grok Build 并列。这让闭源前沿实验室能否守住定价的问题更加尖锐。
融资7410d
Databricks 估值达 1880 亿美元
Databricks 估值达到 1880 亿美元,延续了它作为 AI 领域最值钱私营公司之一的势头——这家公司已把自己从数据仓库重塑为 AI 平台。它还发布了关于开放权重模型在编程上节省成本的研究。在这个 AI 相关公开股票普遍回调的一周,这个估值格外显眼。
政策 / 监管7410d
旧金山勒令苹果、谷歌下架 AI「脱衣」应用
旧金山市检察官 David Chiu 向苹果和谷歌发出停止侵害函,要求它们不再托管、也不再从 13 款 AI「脱衣」换脸应用中获利——这些应用绝大多数被用来针对女性和女孩。官员估计两家公司靠抽成可能已赚取数百万美元。此举考验的是平台在州法下对 AI 生成侵害内容的责任。
融资7410d
DeepSeek 寻求估值涨十倍,谋划 IPO
中国的 DeepSeek 在首轮融资仅一个月后,就寻求估值上涨十倍,靠的是强劲的模型销售和高达 80% 的毛利率,并在权衡 IPO。这条曲线说明中国实验室把开放模型的势头变现成商业筹码有多快。而就在同一周,Kimi K3 登顶代码榜。
AI 模型7011d
xAI 开源 Grok Build
xAI 开源了 Grok Build,在 Hacker News 上获得 1200 多分。它出现在一波开源浪潮中——Kimi K3、Thinking Machines 的 Inkling、德国的 Soofi S——正在重塑人们对「什么该闭源」的预期。对开发者来说,更强的开源工具降低了做智能体编程产品的成本。
AI 模型7010d
开源 AI 浪潮聚势
除了几款重磅模型,本周整个开源生态也在变宽:一份广为传播的《开源 AI 现状》报告、LM Studio 面向开源模型的 Bionic 智能体、德国 Soofi 联盟发布在德英双语基准上登顶的开放 30B 模型,以及 David Siegel 在《财富》撰文呼吁政府和非营利组织出资支持免费开放的 AI。它们共同标示出,开发者认为前沿能力将栖身何处正在发生转移。方向是把开放权重当作一种公共品,而不只是竞争手段。
AI 模型7010d
OpenAI GPT-5.6 在「完全访问」模式下删除用户主目录
OpenAI 表示,GPT-5.6 在无保护的「完全访问」模式下,曾多次删除用户的整个主目录:它覆盖了一个临时目录变量,并在未征求确认的情况下执行了破坏性操作。OpenAI 发布了事后复盘,并承诺增加防护。这起事件为拥有真实文件系统权限的智能体系统,提供了一个具体的警示。
融资7010d
核电创业公司 Valar Atomics 拟按约 60 亿估值融资 10 亿
成立三年的 Valar Atomics 专做为数据中心供电的小型核反应堆,正商谈按约 50–60 亿美元估值融资 10 亿美元。这一轮说明 AI 基建真正的瓶颈——电力——正在催生风投规模的能源公司。TechCrunch 指出,这种多段式结构掩盖了真实的入场价格。
创业公司6810d
The Information:SpaceX 拟以 600 亿美元收购编程公司 Cursor
The Information 报道,AI 编程公司 Cursor 将在今年晚些时候被 SpaceX 以 600 亿美元收购,并正在筹划一次重大转型。若属实,这将是史上规模最大的软件收购之一,也会把马斯克更深地卷入 AI 开发者生态。该报道目前为单一信源,公司尚未证实。
创业公司6610d
160 多家企业软件创业公司面临卖身压力
据 The Information,在融资枯竭、公开市场估值下滑的背景下,今年有 160 多家企业软件创业公司面临卖身压力,其中主打 AI 和数据软件的公司最可能被买家看中。这份名单预示一波整合潮——资本正向少数 AI 赢家集中。拿不出 AI 成绩的创业公司,正在变成收购标的。
融资6610d
CoreWeave 31 亿美元贷款招来 190 亿认购
摩根士丹利为 CoreWeave 安排的 31 亿美元贷款,招来超过 190 亿美元的投资者认购,约 6 倍超额,说明即便股市摇摆,市场对 AI 基建债务的胃口依旧很深。另一边,GPU 融资方正以一笔 4 亿美元的芯片抵押贷款转向推理芯片。这种分化表明,信贷市场仍在为基建输血,而股市开始谨慎。
创业公司6610d
亚马逊 Zoox 因浓烟致误判召回机器人出租车软件
亚马逊旗下 Zoox 发布软件召回:上个月,一辆无人乘坐的机器人出租车驶入了被浓烟笼罩的活跃火灾现场。召回之际,美国监管机构 NHTSA 正就自动驾驶车辆干扰急救人员发出警告。此事凸显无人驾驶落地仍面临的极端场景风险。
政策 / 监管6410d
美司法部:联邦雇员可在政府设备上安装 TikTok
美国司法部通知联邦雇员,现在可以在政府设备上下载 TikTok,理由是字节跳动已把美国业务的控制权移交给新成立的 TikTok USDS 实体。这一逆转,正式确认了化解多年国家安全质疑的美国所有权重组。它是旷日持久的 TikTok 剥离故事中的一个里程碑。
创业公司6010d
OpenRouter 探讨出售,估值或达数十亿美元
帮助开发者通过单一入口调用数百个 AI 模型的 OpenRouter,已在商讨以数十亿美元估值卖给一家更大的科技公司,较其 5 月的 13 亿美元估值有溢价。这笔交易会把模型路由层的一块关键拼图整合起来——此时推理正在商品化。它表明,坐在应用和模型之间的那一方,正在积累聚合价值。
其他6010d
All-In 播客:AI 能否自律、中国追平、纽约禁数据中心
All-In 播客讨论了 AI 行业能否自我监管、中国正在缩小能力差距、Stripe 对标 PayPal 的野心,以及纽约拟禁止新建数据中心。在白宫开始管控前沿模型使用权之际,主持人对「自律」持怀疑态度。这是对本周监管与中国主题的一份运营者兼投资者视角解读。
AI 模型5810d
YC:世界模型,以及人脑有而 AI 缺的东西
Y Combinator 把世界模型作为重点:这条研究路径能让 AI 用远少于当前模型的样本学会技能,涵盖机器人和自动驾驶。这个框架指向的是样本效率——而非单纯的规模——才是下一个前沿。对创业者而言,它提示了在当前大模型范式之外,新的技术护城河可能在哪里打开。
创业公司5510d
Replit CEO 做客 a16z:「被取消是一种选择」
在 a16z 的对话中,Replit CEO Amjad Masad 说,如果不是主动去面对批评者和公开争论,公司「很可能已经死了」,他认为「被取消是一种选择」。这段对话是一位创始人对声誉、分发,以及在做 AI 编程平台时如何熬过争议的坦率看法。它与本周那些更安静的企业 AI 讨论形成鲜明对照。
