英伟达RTX Spark笔记本上市、63亿美元网安并购与AI安全审计开放

英伟达RTX Spark笔记本正式上市

英伟达于2026年10月16日宣布，RTX Spark笔记本电脑正式上市，首批产品来自华硕、戴尔、联想、微软和微星，后续还将推出更多机型。该平台基于Arm架构，采用台积电3纳米工艺，集成Blackwell架构RTX GPU与20核Grace CPU，最高提供1 Petaflop的FP4 AI算力与128GB统一内存，可本地运行超过1200亿参数的大模型。上市首日即支持Adobe Photoshop、Premiere等创作应用，以及Hermes、OpenClaw等本地智能体。

据渠道信息，相关机型售价约为2600至7000美元，其中微软Surface Laptop Ultra入门配置约2600美元，配备128GB内存与2TB固态硬盘的高配版本达到约7000美元。这笔发布被英伟达视为Windows PC向“个人AI计算机”演进的一步。

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

网络安全公司Proofpoint宣布与数据安全公司Varonis Systems签署最终收购协议，将以约63亿美元的全现金交易收购后者，Varonis股东每股可获49.75美元。该价格较Varonis 6月22日收盘价32.71美元溢价约52%。Proofpoint由Thoma Bravo持有，这是其自2021年以来的收购序列中最大的一笔。

交易完成后，双方预计将数据映射、访问控制与邮件、协作、数据防泄漏产品整合为统一平台，合并后服务超过16000家企业。交易尚需监管机构与Varonis股东批准，两家公司预计2027年上半年完成流程。

Anthropic向METR开放员工级访问权限

Anthropic于10月16日宣布，已向非营利评估机构METR开放“员工级别访问权限”，用于评估其模型风险。METR团队进驻Claude开发团队办公场地，可访问Anthropic的硬件设备与内部系统，权限大致相当于公司内部风险评估团队。

Anthropic聘用6名METR工作人员，且不向METR支付费用，评估人员可独立发布分析报告，Anthropic无权否决，但可要求删除客户数据、律师与客户保密特权及模型架构等信息。该举措被视为落实其引入外部审计承诺的第一步，也发生在其以超过2万亿美元估值推进IPO的背景下。

施耐德电气第三季度数据中心需求增长超100%

施耐德电气于10月16日公布第三季度业绩，季度营收达创纪录的114.6亿欧元，同比增长17.9%，有机增长16.9%，高于市场预期。数据中心设备需求是主要动力，相关业务需求同比增长超过100%，推动季度末订单积压再创新高。

分业务看，能源管理业务营收96.2亿欧元，有机增长18.8%；工业自动化业务营收18.5亿欧元，有机增长8.1%。区域上北美有机增长19.9%，中国及东亚市场增长26.1%。公司据此上调2026年全年财务目标。

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

10月15日晚，快手旗下可灵AI宣布视频生成模型Kling 4.0正式全量上线，面向企业客户与开发者的API服务随后开放。该版本聚焦高动态、强运镜场景，单次原生生成最长可达30秒，支持长镜头与连续叙事，支持4K、1080p的10-bit HDR输出及21:9超宽画幅，全能参考支持最多15项素材组合与10张关键帧输入，视频续拍最长可延展至2分钟。

可灵AI披露，其已在全球224个国家和地区吸引超过1亿用户，服务超过5万家企业，年收入达5亿美元规模。今夏戛纳国际创意节首次将AI纳入作品评价体系，两部由可灵AI制作的作品获得戛纳金狮。

AI辅助完成森多夫猜想证明

10月16日报道显示，困扰数学界约七十年的森多夫猜想已被证明。创业者Lech Mazur在GPT-5.6 Pro辅助下完成证明，论文题为“A Computer-Assisted Proof of Sendov's Conjecture”，宣布森多夫猜想对所有次数n≥2成立，附带约9万行Lean 4形式化代码。菲尔兹奖得主陶哲轩其后将证明消化、简化并重新形式化，新版Lean代码缩减至约1.5万行。

陶哲轩还发现整理后的论证实际证明了一个更强的命题，1972年提出的Phelps-Rodriguez猜想也随之被解决。该成果被视为AI参与数学研究、加速解决长期未解难题的一个案例。

海辰储能累计出货突破200GWh

储能企业海辰储能于10月15日在其重庆制造基地举行“200GWh出货里程碑”仪式，宣布累计出货量突破200GWh，并推进全球长时储能的全链条整合。据其披露，仅一年时间，公司累计出货量便从此前水平大幅提升。

该进展出现在全球电网侧与工商业储能需求持续扩张的背景下，长时储能被视为支撑新能源消纳与电力系统稳定的关键环节。