跳到正文
2026 年 10 月 16 日 · 星期五每天 08:00 出刊

AI 日报 · 2026 年 10 月 16 日 · 星期五

HOT

第 8 期162026 年 10 月星期五
12件大事11个来源4件一手发布2个新模型约 6 分钟读完
头条

Meta 发布开放权重多模态 MoE 模型 Muse Spark Open

Meta 发布开放权重模型 Muse Spark Open,采用 MoE 架构,约有 816B 参数、每 token 激活约 42B 参数,支持文本、图像、音频和视频输入,输出文本,最大上下文窗口为 1M tokens。该模型面向智能体编码训练,支持读取代码库、编写和调试代码及调用工具;文章介绍了运行、部署和微调方法,并提供多个演示。

Hugging Face Blog一手另有 6 家信源报道原文
01

模型发布/更新

02

产品发布/更新

Hugging Face Blog一手

Black Forest Labs 发布 FLUX.3 Image Klein 并支持 Diffusers

Black Forest Labs 的 FLUX.3 Image Klein 已在 Diffusers 中推出,单个模型支持文生图、多参考图图生图和边界框布局控制。蒸馏检查点默认以 16 步生成 1024 × 1024 图像,文章还提供基础模型、量化权重及 LoRA 微调的使用示例。

03

行业动态

04

论文研究

钛媒体

书生-S2助力团队证明三维Ghys猜想,北大团队完成形式化验证

许地生团队依托书生科学多模态大模型S2(书生-S2)与人机协同,完成困扰数学界30余年的三维Ghys猜想证明,相关论文已发布在arXiv。书生-S2先后完成7批接续推演,问题图从15个节点扩展到389个;北京大学团队使用SHEAF框架,对论文全部四个主定理完成形式化验证,证明通过Lean检验。

Microsoft Research一手

Microsoft Research 推出通用零知识虚拟机 Magnetar

Microsoft Research 介绍零知识虚拟机 Magnetar,可为 RISC-V 上 Rust、Go 或 C 程序的执行生成可验证证明。它在笔记本上每秒证明 7.2 至 8.7 million 条处理器指令,15 个基准程序上的平均速度比同机最快的现有 zkVM 快 10 至 39 倍,证明约 12 毫秒即可验证。

05

技巧与观点

钛媒体

OpenAI内部AI集中发布722篇数学手稿,数学界质疑验证与发布机制

OpenAI内部AI生成的722篇数学手稿于10月6日集中发布,涵盖17个方向;发布次日,OpenAI撤回3篇、修订14篇,手稿总数降至719篇。按其形式化目录统计,162篇手稿附有Lean形式化版本,占约22%;文章指出,机器核验不能替代对形式化陈述与原命题是否一致的人工把关。文章围绕成果生成与确认之间的落差,讨论学术评审、优先权和验证劳动等问题,并提出先验证、再提交评审与传播的流程建议。

06

市场动态

Simon Willison另有 6 家信源报道

Anthropic向投资者披露Q3营收达$16.8bn,IPO前季度营收近乎增长50%

Simon Willison转述《金融时报》报道,Anthropic向投资者披露Q3营收为$16.8bn,较Q2的$11.5bn近乎增长50%;Q1营收约为$4.8bn。Q3每支出$1用于计算能力,产生$1.70营收,剔除股票薪酬后的调整后经营利润率为11%。Anthropic称,模型蒸馏占其营收的5%至7%,并在Q3大幅削减了这类活动。

东方财富另有 3 家信源报道

黄仁勋力挺后 CoreWeave 股价由跌转涨,信用风险定价仍走高

黄仁勋称CoreWeave经营实力持续改善、资本成本正在下降,且英伟达无需为其提供财务兜底;表态后CoreWeave股价盘中一度跌超9%,最终收涨近6%。与此同时,其五年期CDS利差盘中升至1194.5个基点,2031年到期债券价格下跌;公司债务总额超过400亿美元。

FinancialJuice

TSMC财报电话会:上调2026年美元营收增长预期至约44%

TSMC预计2026年美元营收增长约44%,高于此前略高于40%的预期,并称需求远超供给、没有放缓迹象。公司看到先进制程和 Agentic AI CPU 需求强劲,计划在台南新增一座 N3 晶圆厂,A14 将于2028年开始量产;目前还不便提供今年之后的资本支出指引。TSMC还提到工具价格上涨、部分后端产能短缺,并正在评估德州扩张;客户不得转租产能,任何晶圆厂合作都必须由 TSMC 运营。

东方财富

美联储10月《褐皮书》:涨价加快、消费承压,AI开始影响企业招聘

美联储10月《褐皮书》显示,美国经济继续扩张,但价格上涨加快、消费分化,部分家庭面临更大财务压力。报告称,5个辖区的部分企业在投资AI、提高生产率后,通过人员自然流失缩减员工规模、推迟招聘,或预计未来新增岗位减少;与此同时,AI和数据中心投资仍支撑制造业及相关建设活动。数据中心项目也面临建设资源竞争、成本和用工压力,部分地区还在审查其对电网和水资源的影响。

07

快讯

(本期完)

Hot 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本