Meta开源大模型、Kling 4.0上线、RTX Spark上市与AI基建电力扩张

覆盖AI开放权重模型、视频生成、AI PC硬件、AI数据中心供电、网络安全并购、AI数学科研及消费电子资本市场。Meta发布Muse Spark Open并牵手苹果;可灵Kling 4.0全量上线;NVIDIA RTX Spark笔记本全球开售;Venture Global联手GE Vernova打造孤岛电力;Proofpoint以63亿美元收购Varonis;AI辅助证明森多夫猜想;传音控股港股首日破发。

Meta发布开放权重模型Muse Spark Open并牵手苹果

美东时间10月15日,Meta发布开放权重多模态大模型Muse Spark Open,称其是“迄今美国能力最强的开放权重模型”。该模型采用混合专家架构,总参数量8160亿、激活参数420亿,上下文窗口100万Token,专为编程与智能体任务设计,支持文本、图像、音频、视频输入输出。

Meta披露,该模型借助苹果最新MLX框架,可在两台搭载M5 Ultra芯片的Mac Studio上本地离线运行:单机最高512GB统一内存、1.2TB/s内存带宽,两台合计等效1TB统一内存。Meta同时公布模型权重,开发者可通过多家云平台调用API或下载权重自行部署。这是Meta与苹果一次罕见的公开技术协作,但性能更强的Muse Wonder系列仍保持闭源。

可灵AI视频模型Kling 4.0全量上线

10月15日晚,快手旗下可灵AI宣布新一代视频生成模型Kling 4.0正式全量上线,面向企业客户与开发者的API服务将在近期开放。该模型聚焦高动态、强运镜场景,支持4K、1080p及21:9画幅的10-bit HDR输出,单次原生生成视频最长30秒,支持长镜头与连续叙事。

Kling 4.0单次任务最多可组合10张图片、5段视频及7个主体,提示词上限提升至8000 tokens,并支持最多10张关键帧输入与视频续拍(最长延展至2分钟)。受此消息带动,快手股价10月16日早盘涨超6%。可灵此前披露,2026年第一季度营业收入超过6.5亿元,同比增长超300%。

NVIDIA RTX Spark笔记本全球开售

10月16日,NVIDIA宣布RTX Spark笔记本电脑正式上市,首批产品来自华硕、戴尔、联想、微软和微星等厂商,起售价2599美元。该平台核心是由英伟达与联发科联合研发、采用台积电3纳米制程的超级芯片,集成20核Grace CPU与最高6144核Blackwell架构RTX GPU,最高提供1 Petaflop FP4 AI算力与128GB统一内存。

英伟达称,RTX Spark笔记本可在本地离线运行高达1200亿参数的大语言模型,并原生支持CUDA生态。NVIDIA将此次发布定位为“Windows PC新篇章”,全球首发活动覆盖北京、柏林、伊斯坦布尔、首尔、旧金山和台北六座城市。

Venture Global联手GE Vernova与Baker Hughes打造“孤岛电力”

10月15日,液化天然气出口商Venture Global宣布与GE Vernova、Baker Hughes达成新协议,扩大其独立的“孤岛模式工业电力网络”,以满足AI数据中心日益增长的用电需求。协议将开发最多16个新发电机组,每个容量720兆瓦(MW),最终支持其到2034年实现10吉瓦(GW)计算能力的目标。

所谓“孤岛模式”,指电厂与主电网断开、独立运行供电,使数据中心无需依赖公共电网。新协议将扩大Venture Global现有的4.5 GW孤岛模式模块化燃气发电规模,公司预计在2026年底前下达首批设备订单。CEO迈克·萨贝尔称,这是打造一家“垂直整合的AI公用事业公司”。

Proofpoint以63亿美元全现金收购Varonis

10月16日,市场消息显示,Thoma Bravo旗下的网络安全公司Proofpoint将以每股49.75美元的全现金方式收购数据安全公司Varonis,交易总价值约63亿美元,预计在2027年上半年完成交割。该交易将把数据与AI安全能力同“以人为中心”的网络安全相结合。

Varonis主要提供数据安全与访问治理产品,Proofpoint则主打邮件安全、数据防泄漏与AI运行期安全。此项并购是企业级安全软件领域近期规模较大的交易之一,仍需通过相关监管合规审查。

AI辅助证明约70年历史的森多夫猜想

10月中旬披露,初创科技公司CEO Lech Mazur借助AI完成对约70年历史的森多夫猜想(Sendov's Conjecture)的证明,论文题为《A Computer-Assisted Proof of Sendov's Conjecture》,宣布该猜想对所有次数n≥2成立,证明在GPT-5.6 Pro辅助下完成,配有约9万行Lean 4形式化代码。

数学家陶哲轩在博客中表示,他同样借助大量AI辅助,用数天时间消化、简化并重新形式化该证明,将Lean代码缩减到约1.5万行;他还发现整理后的论证实际上证明了一个更强的命题,1972年提出的Phelps-Rodriguez猜想随之被解决。

传音控股港股上市首日破发

10月15日,“非洲手机之王”传音控股正式在港交所主板挂牌,实现“A+H”两地上市,H股发行价为每股35.3港元(位于招股区间下限),开盘即跌破发行价,当日收报33.28港元,下跌5.72%,总市值约412亿港元。

财报显示,受存储芯片涨价等因素影响,传音2025年营业收入655.91亿元、同比下降4.55%,归母净利润25.81亿元、同比下降53.49%;2026年上半年营业收入354.31亿元、同比增长21.85%,归母净利润17.73亿元、同比增长46.22%。公司计划将约40%的募集资金净额投入AI技术研发及产品迭代。