Meta开源8160亿参数模型、英伟达RTX Spark上市、网安63亿美元并购与特斯拉飞行跑车亮相

Meta开源8160亿参数模型Muse Spark Open,两台Mac Studio即可本地运行

当地时间10月15日,Meta发布开放权重AI模型Muse Spark Open,并宣称其为迄今能力最强的美国开放权重模型。该模型采用原生多模态架构,总参数量达816B(其中激活参数42B),支持1M token上下文窗口,可覆盖文本、图像、视频、音频四类模态,专为代码构建与智能体协作设计,在长程任务、复杂软件工程与多步推理方面表现突出。Meta称,该模型在JobBench、MCP-Atlas、HLE-Diamond、ZeroBench等基准的部分分类中得分领先Qwen 3.8、GLM 5.3、Kimi K3,但整体性能仍低于其付费产品线Muse Wonder。

得益于最新MLX框架,Muse Spark Open可在两台搭载M5 Ultra芯片(512GB内存版本)的Mac Studio上桌面端本地运行。模型权重已在Amazon SageMaker AI、Google Cloud Model Garden、Hugging Face与Microsoft Foundry Models上线,开发者也可通过Baseten、Fireworks AI、Groq、Modal、Nebius、OpenRouter及Together AI等API平台调用。该模型基于附带限制性商用条款的Muse Model License发布,绝大多数开发者可免费获取使用。Meta AI负责人表示,出于安全性与能力两方面考虑,Meta通常不会开源最强大模型,但将持续开源优秀模型。

英伟达RTX Spark笔记本10月16日上市,Adobe等应用获性能优化

英伟达宣布RTX Spark笔记本于2026年10月16日正式上市,售价约为2600至7000美元。该系列搭载基于Arm架构的N1X处理器,版本分为20核、6144个CUDA核心以及18核、5120个CUDA核心,统一内存从24GB到128GB不等,最高提供1 Petaflop FP4本地AI算力。首发时支持数千款应用、游戏与模型。

配套软件方面,英伟达与Adobe合作,从底层重构GPU加速的Photoshop图像合成以及Premiere的回放、渲染与特效架构,使Adobe主流应用获得最高约2倍性能提升;NVIDIA Broadcast 2.3新增视频超分辨率、视频帧生成与MCP控制功能,DLSS光线重建将于11月登陆Blender 5.3。专为RTX Spark智能体打造的Nemotron 3.5 Bolt 74B模型已于10月15日发布。

快手可灵Kling 4.0全量上线,支持30秒原生生成与10-bit HDR

10月15日晚,快手可灵AI宣布新一代视频生成模型Kling 4.0正式全量上线,面向企业客户与开发者的API服务也将开放。该版本聚焦高动态、强运镜场景,单次原生生成最长可达30秒,配合续拍功能最长可延展至2分钟,支持最多10张关键帧输入与15项多模态参考素材组合,提示词输入上限提升至8000 tokens。

视听品质方面,Kling 4.0支持最高10-bit HDR画面输出,可处理逆光、夜景、霓虹等高反差场景,并规划支持4K、1080p及21:9超宽画幅。此外,Kling 4.0接入可灵MCP与CLI,创作者可通过AI Agent调用其全能参考、关键帧生视频等能力。公开信息显示,可灵AI已在全球224个国家和地区吸引超过1亿用户,服务超过5万家企业,年收入达5亿美元规模。

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

美国网络安全公司Proofpoint于10月15日宣布,已与数据安全公司Varonis Systems签署最终收购协议,将以约63亿美元的全现金交易收购Varonis。根据协议,Varonis股东将获得每股49.75美元现金对价,较其6月22日收盘价32.71美元溢价52%。以截至2026年6月30日的过去12个月财务数据计算,交易企业价值约为Varonis营收的8.4倍,股权价值约为同期自由现金流的53倍。

Varonis总部位于迈阿密,专注企业数据及AI安全,涵盖敏感数据发现与分类、访问权限管理、云数据安全及用户行为监测。Proofpoint主要提供邮件安全、数据丢失防护等产品,2021年被Thoma Bravo以约123亿美元私有化。合并后公司将服务超过16000家企业,双方预计在2027年上半年完成交易,尚需监管机构与Varonis股东批准。

AI辅助证明森多夫猜想,陶哲轩发现其隐藏更强结果

一个悬置约70年的数学猜想——森多夫猜想,被初创科技公司CEO Lech Mazur借助AI完成证明。证明论文题为《A Computer-Assisted Proof of Sendov's Conjecture》,作者宣布该猜想对所有次数n≥2成立,证明在GPT-5.6 Pro辅助下完成,并配有约9万行Lean 4形式化代码。森多夫猜想是复分析领域关于多项式零点与临界点关系的命题,由保加利亚数学家Blagovest Sendov于1958年前后提出。

此后,菲尔兹奖得主陶哲轩将Mazur的证明消化、简化并重新形式化,Lean代码缩减至约1.5万行。陶哲轩还发现,整理后的论证实际上证明了更强、于1972年提出的Phelps-Rodriguez猜想。

施耐德电气第三季度营收创纪录,数据中心需求增长超100%

法国工业巨头施耐德电气10月16日公布,第三季度营收达到创纪录的114.6亿欧元,同比增长17.9%,高于市场预期的111.3亿欧元;有机增长16.9%,明显超过预期的13.8%。数据中心设备需求是主要增长动力,相关业务需求同比增长超过100%。公司因此上调2026年全年财务目标,并表示强劲的订单表现提高了2027年至2028年业务增长的可见度。

特斯拉第二代Roadster亮相,完成腾空翻转与倒挂演示

北京时间2026年10月16日上午,特斯拉在美国得克萨斯州麦格雷戈的SpaceX测试场正式发布第二代Roadster。演示全程通过直播播出,车辆先在大弧形坡道上进入倒挂状态行驶并短暂悬停,随后从坡顶飞出、在空中完成翻转后平稳落地,还从Cybercab、Cybertruck、Tesla Semi、Model Y、Model 3等一字排开的车型上方飞越。所有特技动作均由预设程序远程控制,现场未安排人类驾驶员直接操控,驾驶座上为Optimus人形机器人。

支撑这些动作的是两套由特斯拉与SpaceX联合开发的系统:车底负压风扇吸附系统通过抽走车底空气产生下压力,可使车辆在倒挂状态下保持贴附;代号A71的冷气推进系统在车身布置多个喷口,内置约600升压缩空气,用于辅助车辆腾空与空中姿态调整。现场实测数据显示,Roadster从静止加速至60英里/小时仅用时0.81秒。特斯拉公布了基础版、Performance版、Thrust版与Rocket版等多个配置,其中Rocket版为单座布局并配备全飞行系统、仅限邀请,量产交付计划在2028年。