~/ai-daily-insights
返回 AI Daily 首页 cd ~/news

❯ SK海力士美股募资265亿美元,创外国公司在美最大上市纪录

[电报开局] 韩国存储芯片巨头 SK海力士以每股 149 美元发售 1.779 亿份美国存托凭证,一举募得 265 亿美元,超过阿里巴巴 2014 年在纽约 218 亿美元的纪录,成为外国公司在美史上最大规模的首次公开发售;据彭博报道,7 月 13 日以代码 SKHY 在纳斯达克挂牌。ADR 定价较韩股溢价 3%,认购倍数超 7 倍

[需求与用途] 据路透与彭博报道,此前机构订单堆到约 1715 亿美元,是发行规模的六倍多。这笔钱不是拿去还债,而是投向新厂房和设备,用来接住 AI 芯片尤其是高带宽存储 HBM 的爆发式需求——SK海力士是英伟达 HBM 的主力供货商。选择来美上市还有一层算盘:韩国本土股东池子小,估值长期被压,而对手美光靠着直接触达全球最大的资金池,明明关键存储产品份额更低,估值却更受待见。SK海力士这次就是要把这道估值差抹平。

[影响落点] 对全球存储行业来说,值钱的是这条信号:AI 需求已经强到让一家韩国芯片厂愿意绕开本土、赴美筹天量扩产资金。半导体投资人接下来掂量美光时,多了一个直接对标的美股标的;而对追着 HBM 产能下单的英伟达和云厂商,SK海力士手里这 265 亿美元决定了未来两年 HBM 供给的松紧。一个绕不开的疑问是,存储是出了名的周期股,把上市窗口踩在 AI 需求高点,扩出来的产能会不会撞上下一轮价格回落。

signal: 抹平估值差是明面上的理由,真正被这笔募资锁定的,是未来两年 HBM 的扩产节奏。

❯ OpenAI广泛推送GPT-5.6三款模型,并上线跨应用办公智能体ChatGPT Work

[发布全景] OpenAI 正式广泛推送 GPT-5.6 系列,并同步发布办公智能体 ChatGPT Work——一个能跨应用、跨文件自己收集上下文、把复杂任务做成文档的 AI Agent,登陆 macOS 和 Windows。据 Axios 报道,新系列含旗舰 Sol、日常款 Terra、廉价快速款 Luna,其中 Terra 性能对标 GPT-5.5、价格却便宜一半。OpenAI 称 Sol 在编码、知识工作、网络安全和科学任务上拿到业界最高分。

[产品整合] 这次不只是换模型。据 Axios 报道,此前 OpenAI 把 Chat、Work 和编程智能体 Codex 三样东西并进同一个桌面应用,今天起在包括免费版在内的所有档位全球开放。ChatGPT Work 能读懂用户的总体目标,自己列计划、调用不同办公软件、在很少人工干预下把活干完,官方演示里它能连续研究和搭建应用数小时。配套还上了托管站点服务 Sites 和插件目录。产品先给 Pro、企业版和教育版用户,Plus 和商业版分批跟上。这一整套组合被外界读作 OpenAI 对 Anthropic 编程与办公场景的正面回击。

[影响落点] 对企业软件采购方,要重新算账的是这一条:当聊天、写代码、办公流程被塞进同一个订阅入口,原先分开买的一堆 SaaS 工具边界被啃掉。Terra 把 GPT-5.5 级别能力砍到半价,等于把中端模型的性价比基准又拉低一档,逼着所有做应用层的团队重估自己的 token 预算。悬念在于 ChatGPT Work 声称的”少人工干预连干数小时”,在真实企业流程里能不能稳住,而不是演示好看、上手翻车。

signal: 把三样工具并进一个入口,OpenAI 卖的已经不是模型,而是一个想吃掉整层办公 SaaS 的智能体。

❯ Anthropic将于7月12日为Fable 5转按量计费,称产能够了再放回订阅

[事件开局] Anthropic 把旗舰模型 Fable 5 从订阅套餐里挪出来,7 月 12 日之后改走按量计费,标准 API 价为每百万 token 输入 10 美元、输出 50 美元;据 Wired 记者 Maxwell Zeff 报道,公司明确表态这不是永久剔除,等”产能足够时”会把它放回 Claude 订阅计划。此前 Anthropic 已把免费享用 Fable 5 的截止日从 7 月 7 日延到 12 日。

[前因背景] 根子是产能扛不住。Fable 5 太受欢迎,把本就长期紧绷的 Claude 需求进一步顶爆,Anthropic 只能先用计费杠杆把重度用量导到付费通道,给订阅池腾出容量。补产能的动作也在同步跑:公司正通过与 SpaceX 的一笔交易吃下 Colossus 1 数据中心的全部容量,一口气加进 300 多兆瓦电力和 22 万多张英伟达 GPU。即便如此,官方口径依然是”仍在艰难满足需求”。为缓冲用户不满,7 月 7 日 Anthropic 还临时把 Pro、Max 等套餐里免费用 Fable 5 的额度延了几天。

[影响落点] 先紧张起来的是靠 Fable 5 跑生产流程的重度开发者:原先一个订阅价管够,现在按 token 真金白银计费,长上下文、多轮编程的成本一下摊到明面上。这也把一个行业现实摆上台面——顶级模型的瓶颈已经不在算法,而在电力和 GPU 供给,连 Anthropic 都得靠租下整座数据中心来续命。用户该重新规划的,是把哪些任务留给贵的 Fable 5、哪些下沉到便宜档位。

signal: 把旗舰模型从订阅里摘出来,暴露的是同一件事:这一代模型真正的天花板是电力和 GPU,不是参数。

❯ Meta发布首款收费模型Muse Spark 1.1,编码大涨并开放美国开发者API预览

[发布要点] Meta 超级智能实验室发布 Muse Spark 1.1,这是 Meta 头一回对模型直接收费,开发者可通过公开预览的 Meta Model API 调用;据 The Verge 报道,新版编码能力较一代是”阶跃式”跃升。定价每百万 token 输入 1.25 美元、输出 4.25 美元,注册即送 20 美元额度试用,预览期仅限美国开发者、暂不开放欧盟。

[细节背景] 卖点是又强又便宜的智能体能力。据 Meta 官方博客与彭博报道,Muse Spark 1.1 支持百万 token 长上下文,在大型复杂代码库上的真实任务表现大幅提升,能诊断修复复杂 bug、在企业级系统里加功能、执行大规模代码迁移。这个价位卡在 OpenAI 入门款 GPT-5 mini 和 Anthropic 低价的 Claude Haiku 4.5 之上、又低于 Claude Sonnet 4.6,摆明冲着性价比来。工程上还留了后门:这套 API 同时兼容 OpenAI 的 SDK 和 Anthropic 的 Messages 格式,现有智能体只要改个网址和密钥就能切过来,几乎不用重写。Meta 一改过去 Llama 免费开源的路线,第一次把模型变成生意。

[影响落点] 对正在选模型的开发团队,值得重算的是迁移成本这笔账:兼容两家主流格式,等于 Meta 把**“换供应商”的门槛压到几乎为零**,直接抢 GPT-5 mini 和 Haiku 这类中低价编码场景。更微妙的是 Meta 自身的转身——从靠免费 Llama 换生态影响力,改成下场收费卖 token,说明它认定 API 生意值得亲自下水。这套定价能不能真把开发者从 OpenAI、Anthropic 手里撬过来,要看预览期之后正式档的稳定性。

signal: 兼容对手两套 API 格式,Meta 把迁移成本压到近零,卖的其实是一句话:换我,几乎不花钱。

❯ Cognition基于Kimi K2.7训出SWE-1.7,接入Devin跑到每秒千token

[发布要点] AI 编程公司 Cognition 发布迄今最强模型 SWE-1.7,直接以月之暗面 Kimi K2.7 为底座训练,接入自家智能体 Devin,借云端推理商 Cerebras 跑到每秒 1000 个 token;公司称它以更低成本逼近前沿智能。据 Cognition 博客,SWE-1.7 在 FrontierCode 1.1 拿到 42.3%、Terminal-Bench 2.1 达 81.5%。

[细节背景] 最耐人琢磨的是训练方式。据 Cognition 博客,SWE-1.7 用的是横跨三大洲四个数据中心的分布式强化学习流水线,把自家 GPU 和 Fireworks 等推理商的算力拼在一起。关键点在于:Kimi K2.7 底座本身已经做过大量强化学习后训练,Cognition 在其上再训还能拿到大幅增益——这直接挑战了业界”后训练存在天花板”的说法,暗示强化学习能把能力推得比想象中更远。性能上,SWE-1.7 各项比 Anthropic 的 Opus 4.8 差几分,但在多语言 SWE-Bench 上反超 GPT-5.5,而每道 FrontierCode 任务约 1.97 美元的成本,把它摆在了更划算的性价比曲线上。中国开源底座加美国公司再训练的组合,本身也是一条值得记的产业线索。

[影响落点] 对盯着编程模型选型的工程负责人,真正被改写的是成本与速度的取舍:每秒千 token 加每任务约两美元,让”快且够用”能和最贵前沿模型同台比价。对整个训练圈,Kimi K2.7 底座还能再榨出这么多增益,等于给”开源模型只是起点、后训练潜力远未见底”添了一个实证。SWE-1.7 只在 Devin 里用、不单独开放调用,也让它更像 Cognition 绑定用户的筹码。

signal: 在已被反复强化学习的开源底座上再训还能大涨,SWE-1.7 戳破的是”后训练天花板”这个假设。

❯ 阶跃星辰下周WAIC发布全球首款AI智能体手机,华勤技术代工

[发布预告] 国内大模型公司阶跃星辰官宣即将推出全新 AI 终端品牌、自研智能体操作系统及首款 AI 智能体手机,成为全球大模型厂商中率先做智能体手机的玩家;据新浪财经、IT之家报道,这款量产旗舰将在下周的 2026 世界人工智能大会首发,由 A 股上市公司华勤技术代工。

[细节背景] 和普通”AI 手机”堆几个大模型功能不同,阶跃这次押的是把智能体做进系统底层。据智东西、中关村在线报道,其智能体系统预计深度重构手机的交互逻辑和应用生态,让手机从被动响应的工具,变成能自主规划、自己调用各类 App 执行任务的助手。阶跃星辰成立于 2023 年,创始人是前微软全球副总裁姜大昕,此前已发布覆盖语言、多模态到推理的 Step 系列大模型。参照系是 OpenAI——后者计划 2027 年才推出新一代 AI 终端,阶跃等于把行业时间表往前提了近两年。

[影响落点] 对手机厂商和大模型公司,这一步重划了赛道边界:当一家模型公司自己下场做系统和硬件,“模型能力”和”终端入口”被同一家攥住,苹果、谷歌那套”系统方接入第三方 AI”的分工被绕开了。悬念全压在量产和体验上——概念听着激进,能不能在 WAIC 拿出一台真正好用、跑得稳的手机,而不是发布会 demo 惊艳、上手掉链子,才是这次押注成败的分水岭。

signal: 模型公司自己造手机和系统,赌的是把”智能”和”入口”攥在一只手里,绕开苹果谷歌的分工。

❯ 英伟达与Hugging Face共建机器人开源基础模型,把GR00T搬进LeRobot

[合作要点] 英伟达宣布与开源社区 Hugging Face 联合开发面向机器人的开源 AI 基础模型,把英伟达的 Isaac GR00T 1.7 人形机器人视觉-语言-动作模型和 Isaac Teleop 框架搬进 Hugging Face 的开源机器人库 LeRobot;据英伟达官方博客,此举把英伟达 300 万机器人开发者和 Hugging Face 1600 万 AI 建设者连到一起。

[细节背景] 这套组合拳意在把训练和部署机器人 AI 的门槛整体拉低。据英伟达官方博客,GR00T 1.7 被定位为首个开放且可商用的机器人基础模型,能通过 LeRobot 的工作流更容易地做后训练和部署;Isaac Teleop 则是采集机器人数据的开源框架,帮开发者用标准化格式抓取高质量的人类示范动作。英伟达还预告了世界基础模型 Cosmos 3 稍后进驻 LeRobot,专门在真实数据太贵或不够时,生成和增强机器人训练数据、模拟场景。打法很清楚:用英伟达的 GPU 硬件生态叠上 Hugging Face 的庞大开发者社区和模型库,复制大模型当年靠开源迅速铺开的那条路。

[影响落点] 对做具身智能的创业团队,被重新定价的是入场成本:过去自采数据、自训策略模型是一道高墙,现在开源模型加社区工具链把这道墙削掉一截。英伟达的算盘也不难看穿——机器人开发者越多,跑在英伟达芯片上的训练和推理需求就越大,开源在这里是卖铲子的引流。这条路能不能像大模型那样爆发,取决于开发者拿到 GR00T 后,做出的真实机器人应用有多少。

signal: 英伟达开源机器人模型,图的不是模型本身,是把更多具身开发者引到自家 GPU 上跑。

❯ 1X给NEO造出25自由度腱驱动手,电机移到前臂经手腕拉线

[发布要点] 人形机器人公司 1X 为旗下 NEO 发布全新机械手,达到 25 个自由度——手指和手掌 22 个全驱动、外加手腕 3 个,号称接近甚至部分超越人类手的灵巧、力量与可靠性;据创始人 Bernt Bornich 及多家报道,其核心是把电机挪到前臂、靠腱驱动经手腕拉线。这被视为 Computer Use 之上、更高一层的通用抽象:物理操作。

[细节背景] 破解的是机器人手多年的老毛病——能动,却感知不到接触。据 1X 官方,其解法是自研腱驱动加准直驱,用约 5:1 到 15:1 的低传动比,远低于其他机器人手常见的 100:1 至 200:1,把电机放进前臂、拉线穿过手腕,让手本身又轻、惯量又低,还能出大力。更关键的是 25 个自由度全部原生力控、完全可反向驱动,每个关节兼做力传感器。展示中这只手既能拎起 20 磅壶铃,又能从梗上摘葡萄、拧灯泡、捡起地上的螺丝钉。自由度还按解剖学分布、刻意向真正能对握的拇指倾斜,而非平均分配。早期尝鲜定价 2 万美元。

[影响落点] 对整个人形机器人行业,被推到台前的是”手”这个七十年来一直被绕开的死结:过去大家都在想办法规避手的问题,1X 反过来把成败押在指尖的触觉和力控上。一旦手能像人一样又稳又有分寸地干活,机器人能接的家务和工业任务范围会整个打开。真正要验证的,是这套腱驱动方案在批量生产和长期使用下,可靠性和成本能不能扛住。

signal: 七十年来机器人都在绕开”手”,1X 反过来把成败押在指尖——人形机器人的胜负手,正从大脑挪到手掌。

❯ 特斯拉三代Optimus定型,马斯克给供应链下9月周产千台死命令

[发布要点] 特斯拉第三代人形机器人 Optimus Gen 3 设计初步定型;据 36氪、TradingKey 报道,马斯克 6 月底在高管会上审核批准了最新版本,并给供应链划下量产红线——9 月达到每周 1000 台,年底进一步冲到每周 2000 至 2500 台。这是研发逾三年的 Optimus 首次真正走出实验室、进入量产阶段。

[细节背景] 最硬的一句话是马斯克撂下的最后通牒:**年底前拿不到产能目标,整个 Optimus 采购团队就地换人。**据 36氪报道,难点集中在手和前臂——为攻克这块,特斯拉几乎要从零搭一条供应链。Gen 3 是首个明确为量产而设计的版本,重新设计的手拥有 22 个以上自由度。按年底周产测算,供应商要具备每年为特斯拉供应约 10 万台 Optimus 零件的能力;马斯克更远的目标是年产百万台、单台成本压到 2 万到 2.5 万美元。特斯拉甚至打算把 Model S 的产线改造成机器人工厂。巧的是,同期 1X 也刚在机械手上取得突破,人形机器人的竞争正快速收敛到”手”这个环节。

[影响落点] 对特斯拉的零部件供应商,压力直接落在时间表上:9 月周产千台不是愿景是死线,达不到就换人,采购谈判的筹码一夜之间全到了特斯拉手里。对整个人形机器人行业,若特斯拉真把单台成本压到 2 万美元级、年产爬向百万台,这个量级会重新定义谁能留在牌桌上。变数在于手和前臂这条从零搭起的供应链——它是量产曲线里最可能拖后腿的一环。

signal: “达不到就换人”这句死命令,把 Optimus 的成败压在了手和前臂那条还没建好的供应链上。

❯ 初创PrismML把270亿参数模型塞进iPhone,苹果已接洽

[发布要点] AI 初创公司 PrismML 称已把一个 270 亿参数的大模型压缩到能在 iPhone 17 Pro 上本地流畅运行,刷新手机端 AI 模型规模纪录;据 MacRumors 报道,苹果已与其接洽,探讨这项技术的落地场景。被压缩的是阿里开源的 Qwen 3.6,体积从 54GB 砍到不足 4GB,压缩率超 90%。

[细节背景] 关键在压缩的方式。据 MacRumors 报道,PrismML 声称在瘦身九成的同时,270 亿参数全部同时保持激活、基准性能不掉——这和苹果目前端侧模型走的”稀疏激活”路线正相反,用的是”全激活”,技术源自加州理工的专利。对苹果的吸引力很直接:它在端侧 AI 上一直有能力缺口,若能在本地跑起接近云端规模的模型,就能减少对谷歌云端算力的依赖。PrismML 迄今从 Khosla Ventures 等投资方拿了 1625 万美元,还放话未来要压缩万亿参数模型。不过这些性能说法目前只有公司单方面口径,尚待第三方验证。

[影响落点] 对苹果的端侧 AI 策略,要重新掂量的是这条路径:如果 270 亿参数真能在 iPhone 上稳定跑,苹果那套**“小模型上端、复杂任务甩给云”的分工就有改写空间**,隐私和延迟都能往前挪一大步。对做端侧推理的芯片和软件团队,“全激活”若真成立,等于给手机塞进大模型提供了另一种技术范式。前提是这套压缩别只在演示机上好看——90% 压缩率不掉点的说法,得等独立测试站得住才算数。

signal: 把 270 亿参数塞进 iPhone 若被验证,苹果”小模型上端、大任务上云”的分工就有了改写的口子。

❯ 小鹏Robotaxi开启内测,何小鹏亲自下单跑通首单全链路

[事件开局] 小鹏集团董事长兼 CEO 何小鹏 7 月 9 日上午发文,宣布自己成为小鹏 Robotaxi 内测的第一单用户;据新浪科技、IT之家报道,他在公司楼下完成下单、上车、落座、出发全程,这是小鹏 Robotaxi 首次打通线上叫车、线下乘车的全链路

[细节背景] 值得记的是速度。据新浪科技报道,小鹏去年 11 月官宣 Robotaxi 计划,今年 1 月开启常态化道路测试、5 月量产车下线,今天跑通全链路、开启内测,整个过程只用了 8 个月,快过最初预期。这台车号称中国首款全栈自研、前装量产的 Robotaxi,基于旗舰车型 GX 打造,车内装了 4 颗自研图灵 AI 芯片,有效算力 3000TOPS,搭载第二代 VLA 大模型,对标 L4 级自动驾驶。

[影响落点] 对国内 Robotaxi 格局,被重新排位的是节奏:当整车厂靠自研芯片加自动驾驶大模型、8 个月就把量产车推进内测,百度萝卜快跑等先行者的时间优势被压缩。CEO 亲自吃第一口螃蟹,既是信心也是压力测试——真正的考验是内测扩到普通用户、跑进复杂路况后,这套 L4 系统的稳定性和安全边界。

signal: 8 个月从计划到内测,小鹏卷的是量产 Robotaxi 的落地速度,而非又一份路测报告。

❯ SpaceX上市不足一月两日破发,CFRA给出卖出评级与115美元目标价

[事件开局] SpaceX 股价周三收于 148 美元,连续第二天跌破 150 美元的首日交易价,距 6 月 12 日上市尚不足一月;据 CNBC 报道,评级机构 CFRA 高级分析师给出卖出评级和 12 个月 115 美元目标价,较 135 美元的发行价还低出一截。

[细节背景] 破发就发生在被纳入纳斯达克 100 指数的两天后。据 CNBC 报道,CFRA 分析师直言,他怀疑 SpaceX 是否真值 IPO 估值给出的 1.77 万亿美元。理由是这家公司的投资逻辑要求投资者同时押中好几件难事:星舰成功商业化、星链持续高速增长并扩大利润率、AI 基础设施真正变现、以及最终走向可持续的自由现金流。任何一环掉链子,当前估值都撑不住。SpaceX 上市首日曾大涨、创下史上最大规模股票发行纪录,如今回落说明市场对高估值成长股的耐心正在收紧。

[影响落点] 对追高打新的投资者,要重新审视的是这类超级 IPO 的定价:把星舰、星链、AI 三条尚未兑现的故事线全打进 1.77 万亿估值,任何一条延迟都会被股价直接惩罚。破发本身不必过度解读,真正的看点是接下来财报能否给出星链利润率和现金流的硬数字,来支撑这份被 CFRA 判为过高的期待。

signal: 三条未兑现的故事线撑起 1.77 万亿估值,SpaceX 破发考验的是市场对”先给估值、后补业绩”的耐心。