Meta开源归来；Anthropic放弃蒸馏收入年化达40亿美元；书生-S2助力破解30年数学难题 | 日记

1. Meta重回开源：发布Muse Spark Open，与苹果合作运行在Mac上

Meta正式开放Muse Spark Open模型权重，总参数8160亿、激活参数420亿，采用MoE架构，支持100万Token上下文和原生多模态输入，重点面向编程与多步骤智能体任务。Meta称其为目前能力最强的美国开放权重模型，并与苹果合作，借助MLX框架使模型能够在两台配备M5 Ultra的Mac Studio上本地运行。权重已在Hugging Face等平台开放，支持英伟达、AMD及苹果芯片，但采用附带商业限制的专有许可证，而非完全开源许可证。Meta重回开源，重新正面参与中国模型的竞争。超大模型的部署正在从云端延伸至拥有超大统一内存的本地计算系统。

2. 书生-S2助力破解30年数学难题：三维Ghys猜想获证明，55万行代码完成形式化验证

上海人工智能实验室宣布，其访问学者、大湾区大学许地生教授团队依托国产科学大模型书生-S2，通过人机协同，攻克法国数学家Étienne Ghys于1995年提出的复动力系统重要猜想的三维情形。研究成果由瑞典皇家理工学院张洁松博士单独署名，9月29日发表于arXiv，证明了复余维为一的全纯Anosov系统可归结为复环面上的双曲自同构，从而解决了该猜想的三维情形。攻关过程中，书生-S2首轮生成400页推导报告，随后进行了7批接续推演，累计产出上千页推导；数学家从中识别关键突破口，不断引导和修正模型。北京大学董彬教授、刘若川院士团队利用SHEAF多智能体框架，以最高100个智能体并行、约55万行Lean代码，对论文四项核心定理完成形式化验证。国产模型参与破解了长期悬而未决的数学难题，而且展示了AI进入前沿科学研究的一条可操作路径：大模型负责探索庞大的数学推理空间，人类科学家提供研究直觉、判断和关键创新，再由形式化证明系统进行严格校验。

3. Anthropic IPO估值预期下行：部分投资者讨论从2万亿美元降至1.5万亿美元

据路透社，继前一天披露第三季度收入168亿美元之后，参加Anthropic投资者会议的部分现有及潜在投资者开始讨论约1.5万亿美元的IPO估值，低于此前市场讨论的约2万亿美元。原因是季度环比增速从第二季度的翻倍以上，放缓至第三季度的45%，加之AI基础设施成本及金融市场波动。

4. Anthropic放弃蒸馏收入，曾占5%-7%、按第三季度规模折算年化约40亿美元

据The Information，Anthropic在IPO投资者会议上承认，约5%-7%的收入来自其他AI公司利用Claude输出训练自身模型，即模型蒸馏。以公司第三季度168亿美元收入静态测算，相当于单季约8.4亿—11.76亿美元，年化约33.6亿-47亿美元，大体相当于中国前沿模型实验室的年化收入总和。Anthropic10月12日宣布，新防御措施已使蒸馏者能够提取的数据量减少约90%-99%。公司向投资者表示，蒸馏相关收入还将继续下降，拖累第四季度增长。

5. 台积电第三季度营收467.2亿美元，同比增长41%，第四季度指引进一步上调

台积电公布2026年第三季度业绩：美元收入467.2亿美元，同比增长41.2%；新台币计价收入同比增长50.9%；净利润新台币7630.6亿元，同比增长68.7%。毛利率达到66.4%，营业利润率58.7%。2纳米制程已贡献8%的晶圆收入，3纳米占33%，7纳米及以下先进制程合计占79%。公司预计第四季度美元收入523亿至543亿美元，继续明显高于第三季度。尽管业绩强劲，台积电美股当天仍下跌约1.8%，反映资本市场对AI资产估值和整体风险偏好的重新调整。

6. AI债务融资风险集中显现：CoreWeave信用违约保险成本升至纪录高位

据路透社，AI基础设施企业的债券及信用违约掉期（CDS）价格出现明显波动。CDS利差反映信用市场的风险定价。CoreWeave五年期CDS利差一度超过1100个基点，2031年到期债券收益率一度达到16%；甲骨文的CDS利差也逼近300个基点。CoreWeave债务规模接近500亿美元，市场担忧其高杠杆扩张能否产生足够现金流。美联储利率预期变化与近期AI股票抛售进一步放大了风险。

7. 美国液化天然气巨头计划为AI数据中心提供最高10GW离网电力

美国液化天然气生产商Venture Global宣布，与GE Vernova、贝克休斯达成新的电力设备合作框架，计划最多建设16座720MW级发电单元。按照公司规划，这些设施未来可支持最高约10GW的数据中心算力用电需求，目标延伸至2034年，具体建设取决于客户承诺和市场需求。设备框架采用燃气联合循环及表后供电（Behind-the-meter）模式，即不依赖公共电网直接供电。首批采购订单预计今年底下达，相关设备交付计划从2028年开始。

8. 英伟达发布Nemotron 3.5开放模型家族：从数据中心模型延伸到本地智能体

英伟达发布Nemotron 3.5 Super VL，1200亿参数，面向多模态、工具使用和持续运行的企业智能体；同时推出Nemotron 3.5 Bolt 74B-A9B 24GB，采用量化优化，可在24GB内存条件下运行本地智能体。两款模型均已开放，另一款面向终端与机器人场景的Bolt E4B 4GB计划10月23日发布。英伟达称，Super VL在特定同类模型比较中可实现最高约5倍的推理吞吐优势。1200亿参数服务器模型与24GB终端模型同时发布，体现英伟达试图覆盖数据中心、本地工作站和边缘计算三个部署层级。

9. 美国FTC向OpenAI和Anthropic发出调查令；Anthropic引入驻场独立安全评估

据Axios，美国联邦贸易委员会（FTC）此前一天已向OpenAI和Anthropic发出民事调查要求（Civil Investigative Demands），索取安全事故、模型防护、隐私政策及营销材料等文件，以调查潜在的消费者保护问题。同日，Anthropic宣布向独立安全评估机构METR的六名工作人员提供接近内部员工的工作设备、系统及信息访问权限。METR可独立发布风险评估，Anthropic不能否决发表，但可要求删去事先约定的有限类别敏感信息。

10. DeepSeek发生近五小时全球服务故障，向API用户提供一周额度补偿

10月15日，DeepSeek聊天服务及V4 Pro、V4.1 Flash模型API出现大范围故障，影响全球用户，持续约4小时50分钟，于北京时间下午1时左右恢复。公司随后道歉，并宣布针对10月8日至14日期间的API消耗提供全额额度补偿。这里的“退款”是以平台积分或使用额度形式发放，并非向所有用户返还现金。一次持续近五小时的故障，反映DeepSeek在扩大实际生产部署时面临的基础设施可靠性考验。服务可用性已成为与模型能力、价格同样重要的竞争指标。

11. 英伟达RTX Spark硬刚苹果M5 Max，笔记本实测本地AI智能体跑赢，游戏表现不行

Tom's Hardware公布微软Surface Laptop Ultra的首轮独立测试。这款搭载英伟达GB10 Superchip的Windows on Arm笔记本，拥有20核Grace CPU、6144个CUDA核心及最高128GB统一内存，主要面向本地AI开发与智能体运行。测试采用Artificial Analysis新推出的AgentPerf-local基准，不再只测每秒生成Token数，而是评估智能体完成一整项任务的时间。运行Qwen3.6-35B-A3B时，RTX Spark仅需8分钟，苹果M5 Max MacBook Pro需10分钟，AMD Ryzen AI Max+ 395需13分钟；运行更复杂的Qwen3.8-27B时，RTX Spark同样领先，苹果耗时约多25%，AMD耗时约为其两倍。但在3A游戏中，受Arm架构的x86模拟开销、CPU性能和最高300GB/s共享内存带宽限制，游戏响应延迟明显偏高，难以替代独立显卡游戏本。

（均来自经核实可信源）