Meta开源大模型落地Mac、可灵4.0上线、英伟达发智能体模型与网安大并购

Meta发布8160亿参数开放权重模型Muse Spark Open，并与苹果合作在Mac上本地运行

当地时间10月15日，Meta发布开放权重旗舰模型Muse Spark Open。该模型采用混合专家架构，总参数8160亿、每次推理激活约420亿，上下文窗口达100万token，为原生多模态设计，输入支持文本、图像、视频与音频，输出为文本，面向编码与长程智能体任务。权重当天放上Hugging Face，以允许有限商业使用的许可证发布，Meta称其为「迄今能力最强的美国开放权重模型」。

真正出圈的是硬件合作。Meta与苹果联手，使该模型可在两台搭载M5 Ultra芯片的Mac Studio上借MLX框架本地运行，并可将2至4台Mac Studio组网完成编程、视频分析与智能代理任务，全程离线以提升数据安全并节省云端成本。扎克伯格在X平台发帖感谢苹果的约翰·特努斯与团队，Meta AI负责人亚历山大·王称，多数强大开放权重模型体量过大、难以在个人电脑运行，Mac Studio的大内存让本地落地成为现实。Meta也承认，在部分编码基准上落后于部分竞品，整体能力仍不及自家付费模型Muse Wonder Full。

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

10月15日晚，快手旗下可灵AI宣布新一代视频生成模型Kling 4.0正式全量上线klingai.com，面向企业客户与开发者的API服务将于近期开放。该模型以「真实、可控、专业」为升级方向，聚焦高动态、强运镜场景：单次原生生成最长可达30秒，支持长镜头与连续叙事；全能参考单次任务最多组合15项素材（图片最多10张、视频最多5段、主体最多7个），并支持最多10张关键帧输入；输出支持4K、1080p的10-bit HDR及21:9超宽画幅，提示词上限提升至8000 tokens，还支持多次续拍、最长延展至2分钟，并接入可灵MCP与CLI供AI Agent调用。

可灵AI表示，其2026年第一季度营收超过6.5亿元、同比增长超300%，第二季度营收超过8.5亿元、同比增长超200%；截至2026年6月，全球用户突破1亿，覆盖224个国家和地区，企业客户近5万家。此次上线正值国内视频生成模型竞争加剧，字节跳动Seedance 2.5、生数科技Vidu Q4等近期均有迭代。

英伟达一次发布三款Nemotron开放模型，主打企业级与本地智能体

10月15日，英伟达发布三款Nemotron系列开放AI模型，重点是把自主智能体带入更多计算环境。核心产品Nemotron 3.5 Super VL总参数1200亿、激活120亿，将推理、工具调用与文本、图像、文档、视频理解融合进同一模型，面向长时间运行的企业智能体；英伟达称其完成任务速度约为同级最接近竞品的5倍，多家机构已基于它做定制，包括Scale AI用于供应商信用金融智能体、EY的并购尽职调查智能体，以及AI21、Mercor等在网络安全与编码任务上的后训练。

面向本地运行的Nemotron 3.5 Bolt则主打低内存占用：较大的Bolt 74B-A9B采用原生2比特量化，可装入24GB内存，供兼容系统在本地做编码辅助或代理式网络研究；轻量的Bolt E4B内存占用仅4GB，面向设备端快速响应的对话式智能体，计划于10月23日开放。

Proofpoint以63亿美元现金收购数据安全公司Varonis

10月15日，美国网络安全公司Proofpoint宣布与数据安全公司Varonis Systems签署最终收购协议，将以约63亿美元（约421亿元人民币）全现金收购Varonis，Varonis股东每股获49.75美元现金，对应股权价值约57.1亿美元。该报价较Varonis 6月22日收盘价32.71美元溢价52%，较9月1日收盘价42.35美元溢价17%。按两家公司口径，交易企业价值约为Varonis过去12个月营收的8.4倍。

Varonis总部位于迈阿密，专注企业数据及AI安全，核心业务包括敏感数据发现与分类、访问权限管理、云数据安全和用户行为监测；Proofpoint由Thoma Bravo持有，主打邮件安全、网络攻击防护与数据防泄漏。合并后公司将服务超过16000家企业，交易仍需监管机构与Varonis股东批准，预计2027年上半年完成，届时Varonis将从纳斯达克退市。

库克确认国行苹果智能本月推出测试版，阿里千问入局

10月15日，苹果董事会执行主席蒂姆·库克在上海接受采访时确认，Apple Intelligence及相关阿里千问大模型已获批准，将于10月晚些时候面向中国用户发布测试版本。首批功能包括实时翻译、书写工具、照片清除工具等，但全新的Siri AI不在此次发布范围之内。据消息，阿里千问将作为AI能力集成至苹果智能，通义千问负责文本理解与生成，通义万相负责图像。

适用机型为iPhone 16各款机型及后续机型、iPhone 15 Pro、iPhone 15 Pro Max与iPhone Air。另有报道称，苹果计划于12月通过iOS 27.3系统更新为国行机型推出正式版AI，并可能与百度在搜索及Siri相关功能上合作。

借助AI，约70年历史的森多夫猜想被证明

一篇题为《A Computer-Assisted Proof of Sendov's Conjecture》的论文宣布，约70年历史的森多夫猜想对所有次数n≥2成立，作者、初创科技公司CEO Lech Mazur表示证明在GPT-5.6 Pro辅助下完成，并配有约9万行Lean 4形式化代码。森多夫猜想是复分析领域的著名公开问题，询问多项式零点附近是否存在临界点。

8月12日，数学家陶哲轩发文称自己同样在大量AI辅助下，用数天时间将这份证明消化、简化并重新形式化，新版Lean代码缩减到约1.5万行。更关键的是，他发现整理后的论证实际上证明了一个更强的命题，1972年提出的Phelps-Rodriguez猜想也随之被解决。

三部门联合调查尊界V800刹车踏板支架断裂问题

10月15日晚，工业和信息化部、中央网信办、市场监管总局发布通报，针对网络反映的「尊界V800汽车刹车踏板支架断裂问题」，在前期调查基础上成立联合调查组开展核查并依法依规处理，有关情况将及时公布。尊界汽车随后声明称，积极响应、完全服从并将全力配合联合调查组工作。10月16日，江淮汽车开盘冲高涨停。

事件源于10月8日懂车帝发布的测试视频：3台行驶里程极短的新车在封闭场地进行100km/h至0紧急制动测试时，刹车踏板支架均发生断裂，断裂位置与形态高度一致。10月11日，国家认可的第三方检测机构对尊界V800制动踏板检验后表示，其符合行标QC/T 788—2018要求（纵向力1500N、位移量小于5mm），并做加严检验至纵向力3000N后未出现裂纹和损坏。尊界客服称，制动踏板支架底座升级方案预计10月底确认，11月起陆续启动升级。