Meta 开源大模型、可灵 4.0 上线、网安并购与特斯拉 Roadster 发布
汇总 Meta 发布 8160 亿参数开放权重模型 Muse Spark Open、可灵 Kling 4.0 视频模型上线、Proofpoint 以 63 亿美元收购 Varonis、施耐德电气数据中心业务高增长、特斯拉第二代 Roadster 亮相、AI 辅助证明森多夫猜想、海辰储能出货突破 200GWh 以及英伟达 RTX Spark 笔记本上市等多领域要闻。
Meta 发布 8160 亿参数开放权重模型 Muse Spark Open
Meta 于当地时间 10 月 15 日发布开放权重模型 Muse Spark Open，总参数量 8160 亿（实际激活约 420 亿），上下文窗口 100 万 Token，原生支持文本、图像、视频与音频，主攻编程与智能体任务。Meta 称其为“迄今美国能力最强的开放权重模型”，权重同日上架 Hugging Face，采用附带商业限制条款的 Muse Model License。
该模型另一看点是 Meta 与苹果的罕见合作：依托苹果 MLX 框架与 M5 Ultra 芯片，两台各配 512GB 统一内存的 Mac Studio 即可本地运行整个模型。Meta 首席 AI 官 Alexandr Wang 表示，公司原则上不会开源最强性能模型，能力更强的 Muse Wonder 系列仍保持闭源。
可灵 AI 上线新一代视频模型 Kling 4.0
10 月 15 日，快手旗下可灵 AI 新一代视频生成模型 Kling 4.0 正式上线，主打“真实、可控、专业”，聚焦高动态、强运镜场景。新模型单次原生生成时长最长 30 秒，支持 10-bit HDR 与 4K、1080p、21:9 超宽画幅输出，提示词输入上限提升至 8000 tokens。
在控制能力上，Kling 4.0 的全能参考支持单次最多 15 项素材组合与最多 10 张关键帧输入，配合续拍功能单条视频最长可延展至 2 分钟，并接入可灵 MCP 与 CLI 供 AI Agent 调用。可灵 AI 称其已在全球 224 个国家和地区吸引超过 1 亿用户，服务超过 5 万家企业。
Proofpoint 以约 63 亿美元收购 Varonis
Thoma Bravo 旗下网络安全公司 Proofpoint 宣布，已与数据安全公司 Varonis Systems 签署最终收购协议，将以约 63 亿美元全现金交易收购后者，股东可获得每股 49.75 美元现金对价。该价格较 Varonis 6 月 22 日收盘价溢价 52%。
双方计划整合 Proofpoint 的通信与威胁防护能力，以及 Varonis 在数据发现、分类与访问治理方面的技术，构建覆盖企业数据、人员及 AI Agent 的统一安全平台。交易预计于 2027 年上半年完成，仍需股东及监管机构批准。
施耐德电气三季度营收创纪录，数据中心需求增超 100%
法国工业巨头施耐德电气 10 月 16 日公布，第三季度营收达到创纪录的 114.6 亿欧元，同比增长 17.9%，有机增长 16.9%，均高于市场预期。数据中心设备需求是主要增长动力，相关业务需求同比增长超过 100%。
公司据此上调 2026 年全年财务目标，并表示强劲的订单表现提升了 2027 年至 2028 年业务增长的可见度。
特斯拉第二代 Roadster 亮相，计划 2028 年生产
北京时间 10 月 16 日，特斯拉第二代 Roadster 在得克萨斯州 SpaceX 测试场正式亮相。新车搭载特斯拉与 SpaceX 联合开发、代号 A71 的冷气推进系统，配合车底扇吸系统，现场完成倒挂行驶、腾空翻转与短暂悬停等动作。马斯克称其为“人类驾驶时代最后的巅峰之作”。
特斯拉宣布该车计划于 2028 年开始生产，中国官网已开放 Performance 版预订，意向金为 33.2 万元人民币。能“飞行”的 Rocket 版本仅限邀请购买，且尚未获得公共道路许可。
AI 辅助证明森多夫猜想，陶哲轩整理出更强结果
一份题为《A Computer-Assisted Proof of Sendov's Conjecture》的论文宣布，存在约 70 年的森多夫猜想对所有次数 n≥2 成立，证明由 Lech Mazur 在 GPT-5.6 Pro 辅助下完成，配有约 9 万行 Lean 4 形式化代码。
数学家陶哲轩随后发文称，他花数天时间在 AI 辅助下将该证明消化、简化并重新形式化，新版 Lean 代码缩减到约 1.5 万行，并发现整理后的论证实际证明了一个更强命题，1972 年提出的 Phelps-Rodriguez 猜想随之被解决。
海辰储能出货突破 200GWh
10 月 15 日，海辰储能在重庆基地举办“200GWh 出货达产仪式”，正式宣布累计出货量突破 200GWh。这距离其 2025 年全球出货量突破 100GWh 仅一年有余。
海辰储能联合创始人、总裁王鹏程表示，200GWh 不是终点，而是公司迈向高质量、全球化发展的新起点。公司称其继续保持 2025 年至 2026 年上半年全球储能电池出货量前二的领先地位。
英伟达 RTX Spark 笔记本电脑正式上市
英伟达 10 月 16 日宣布，搭载 RTX Spark 的笔记本电脑正式开售，称其为“Windows PC 的新开始”。该平台集成 20 核 Grace CPU 与 Blackwell 架构 GPU，通过 NVLink-C2C 互联，采用最高 128GB 统一内存，FP4 精度下 AI 算力最高可达 1 PFLOPS。
凭借统一内存与端侧算力，RTX Spark 可在本地运行最高约 1200 亿参数的大模型，面向智能体、创作与游戏场景。首批产品由华硕、微星等 OEM 厂商推出。