Edge AI Daily 早报（7月28日）

硅谷前沿：一、10亿美元暗光纤合同，Verizon的AI变身1.Verizon与Google达成价值超10亿美元的暗光纤协议，用于连接Google的AI数据中心，标志着Verizon从消费者电信公司向AI基础设施批发商的战略转型，预计AI Connect收入将从2027年开始体现并大幅增长。2.Google在2026年第二季度资本支出达449亿美元，同比增长近一倍，导致公司首次出现负自由现金流（－59亿美元），同时Google Cloud收入同比飙升82％至248亿美元，显示AI军备竞赛的激烈程度。3.Verizon通过收购Frontier Communications获得全美最大光纤网络之一，拥有近3000万光纤接入点，暗光纤交易将闲置资产变现，同时公司还在改造传统电话交换局为边缘数据中心，形成AI基础设施两端布局。二、Sutskever 的算力豪赌：SSI 押注英伟达 Vera Rubin1.SSI与英伟达达成战略合作：英伟达对SSI进行数十亿美元投资并开放Vera Rubin平台，使SSI算力提升一个数量级。SSI作为无商业化产品的纯AI安全实验室，估值已达320亿美元，累计融资约70亿美元。2.AI安全研究进入硬算力时代：SSI创始人Sutskever认为解决超级智能对齐问题需要与训练模型相当规模的算力。Vera Rubin平台相比Blackwell在AI推理性能上提升最高达10倍，标志着安全研究从软约束转向工程化硬需求。3.行业格局变化与风险：英伟达通过投资获得前沿AI安全研究的观测权，而算力门槛急剧上升可能威胁独立AI安全研究的多样性。OpenAI面临竞争压力，其近期模型逃逸事件加剧了行业对AI安全对齐的焦虑。三、AMD在韩国设立AI研究中心：英伟达80%的AI江山，出现了第一道裂缝1.韩国政府与AMD签署战略合作备忘录，旨在构建开放式异构AI计算生态以摆脱对英伟达GPU的过度依赖——AMD将在韩国设立AI卓越研究中心，将CPU、GPU与韩国本土NPU连接，形成不依赖单一供应商的计算基础设施。2.AMD以开放生态战略对抗英伟达的封闭体系：2026年英伟达在AI加速器市场份额约75％-80％，AMD仅占5％-7％，但AMD通过开源ROCm平台、MI450 GPU（配备432GB HBM4）和Helios机架系统，在AI推理市场（占2026年AI加速器支出三分之二）寻求突破。3.韩国成为AMD开放生态战略的关键试验场：凭借全球HBM垄断地位（三星、SK海力士）、本土NPU企业（Rebellions、FuriosaAI）的推理优势以及政府政策支持，韩国正从“存储芯片制造基地”升级为“AI计算基础设施共同构建者”。四、谷歌认输，皮查伊把Gemini 4压上牌桌1.谷歌在2026年Q2财报中首次公开承认AI领域落后：CEO皮查伊确认Gemini在编程和智能体两大关键领域掉队，原定6月发布的旗舰模型Gemini 3.5 Pro已延期67天，公司转而押注年底发布的Gemini 4。2.谷歌面临严峻竞争压力：Anthropic年化收入突破300亿美元（2026年4月数据），Claude Code成为编程赛道事实标准；而谷歌虽资本支出高达1950-2050亿美元，但核心人才流失至竞争对手，组织效率面临挑战。3.AI编程市场重构行业格局：GitHub Copilot用户超2000万，Cursor年化收入达20亿美元，Claude Code引领终端原生编码工作流，AI工具正淘汰初级程序员岗位，编程能力成为大模型竞争的核心战场。五、OpenAI都柏林新总部：250个岗位背后的三条战线1.战略布局＋合规考量：OpenAI在欧盟AI Act（人工智能法案）透明度规则生效前一个月，于2026年7月27日宣布在爱尔兰都柏林设立欧盟总部，租用8.8万平方英尺历史建筑，计划两年内新增250个岗位。此举旨在以本地法人身份直接对接爱尔兰AI办公室监管，降低在欧盟27个成员国分散执法的合规风险。2.市场叙事＋估值支撑：OpenAI在2026年3月完成1220亿美元融资后估值达8520亿美元，正冲击万亿IPO。设立欧盟总部既是向欧洲客户传递扎根信号，也是向投资者展示欧洲收入有实体支撑的叙事，以应对Anthropic（估值3500亿美元）等竞争对手在欧洲的布局。3.人才竞争＋产业生态：新增250个岗位涵盖工程、隐私、法务等核心领域，显示OpenAI将模型安全等能力直接部署到欧洲。爱尔兰拥有欧洲最年轻、受教育程度最高的劳动力之一，且是谷歌、Meta等科技巨头的欧洲总部聚集地，有利于就地获取“科技＋跨国”双背景人才。六、3600万美元入场费：AI巨头把竞争从硅谷搬到华盛顿1.游说支出激增：2025年美国大型科技与AI公司游说支出首次突破1亿美元大关，其中Meta以超2600万美元领跑，Nvidia支出从2024年64万增至2025年上半年190万美元，OpenAI 2026年上半年支出同比翻倍达222万美元。2.政策影响竞争格局：AI公司游说旨在影响联邦AI监管规则、出口管制（如Nvidia获准向中国销售H200芯片）和州级监管统一，政策变化直接影响企业数十亿美元收入和合规成本，形成大公司与小初创公司之间的监管不对称。3.结构性转变：AI行业从技术竞争转向政策竞争，游说成为商业模式标配和战略工具，2026年第二季度OpenAI与Anthropic合计游说支出317万美元（环比增长23%），这种“华盛顿化”趋势将加速行业集中化，重塑竞争格局。七、Meta的AI围城：Threads接入私聊，扎克伯格赌用户懒得翻墙1.Meta于2026年7月27日宣布Threads私信功能正式接入Meta AI，至此旗下Facebook（日活超20亿）、Instagram（月活超20亿）、WhatsApp（月活超30亿）、Threads（月活突破5亿）四款核心社交应用全部完成AI助手私聊覆盖，构建了全球最大的AI分发网络。2.Meta AI战略从模型能力竞赛转向分发竞争，通过社交矩阵触达超50亿用户，而ChatGPT市场份额在2026年5月首次跌破50％至46.4％，Gemini份额升至27.7％，Meta AI市场份额虽不足5％但拥有独特的社交场景分发优势。3.Threads作为Meta对标X的公共讨论平台，月活已突破5亿，其接入Meta AI的时机恰逢Muse Spark 1.1模型推出任务自动化能力，使AI从“陪聊”进化为“能干活”，在公共讨论场景旁建立私人分析室，形成“公开讨论、私信追问、AI分析”的闭环体验。八、汇丰省下18亿美元，却在新加坡砸钱抢AI人1.汇丰银行战略调整：在推进全球成本削减计划（目标2026年底前节省18亿美元）的同时，于2026年下半年在新加坡设立首个全球AI卓越中心，招聘超100名AI专家，反映银行业从传统业务向AI能力建设的结构性迁移。2.新加坡成为AI金融中心：星展银行2026年5月发布的全球AI金融中心指数显示新加坡位列第三（85／100分），Finastra调查显示新加坡金融机构AI部署率达64％（远超全球平均），其监管治理（19／20分）和数字基础设施（18／20分）接近满分为银行提供合规试错环境。3.AI应用聚焦财富管理与支付：汇丰AI中心将开发“AI驱动的财富旅程”和“AI投资组合构建器”，同时试点端到端“代理商务”支付流程（公司AI代理与银行AI代理对话），体现AI“增强而非替代”人类决策的战略定位。九、Conductor全面转向云Agent，AI编程本地时代终结1.战略转向：Conductor公司宣布全面转向云Agent战略，放弃本地优先路线，计划推出移动端APP、Slack集成和API，实现AI编程代理的“去电脑化”和7×24小时在线运行。2.市场趋势：2026年AI编程工具赛道加速向云端迁移，Cursor、Codex等主流产品均已推出云Agent功能，行业共识从“单点工具辅助”转向“多代理并行编排”的数字劳动力模式。3.商业模式挑战：云端化带来成本压力（Vercel Sandbox算力消耗）和竞争风险（与Cursor、Codex正面竞争），需验证单位经济模型能否支撑Agent运行时间增长10倍后的可持续性。十、20人年到周末，LLM让形式化验证走下神坛1.成本结构断裂：形式化验证从seL4项目的“20人年证明工作量”降至LLM辅助的“每月20美元订阅费一小部分”，验证成本从人力密集型转变为算力驱动型，经济可行性发生根本性转变。2.技术突破路径：LLM结合Lean等证明助手，通过“证明无关性”原理自动生成验证代码，解决了传统SMT求解器的“玄学”问题，使Zstandard等复杂算法的形式化验证成为现实。3.产业影响趋势：形式化验证正从“关键系统专享”向“核心模块标配”演进，可能重塑软件质量保障体系，对加密库、协议实现等高可靠性软件领域产生深远影响。十一、AdamW触及天花板，英伟达亲手宣告1.英伟达研究发现AdamW优化器在batch size扩展