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

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

SI信息茧房

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

Meta 发布 Muse Spark Open:816B 参数的开源多模态混合专家模型

Meta 发布 Muse Spark Open,一个约 8160 亿参数的开源多模态混合专家模型,支持文本、图像、音频和视频输入,上下文窗口达 100 万 tokens,专为智能体编码任务设计。模型采用 256 专家 MoE 架构,每 token 激活约 420 亿参数,提供 BF16 和 NVFP4 检查点,支持 llama.cpp、vLLM、SGLang 和 MLX 等部署方案。

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

模型发布/更新

Mistral AI一手另有 1 家信源报道

Mistral 发布时间序列基础模型 Timestral

Mistral 发布首个时间序列基础模型家族 Timestral,包含 5M 至 209M 参数四个版本,支持多变量、概率性预测及过去和未来协变量,仅用 209M 参数在 GIFT-Eval、TIME 和 fev-bench 三大基准上均排名第一。

02

产品发布/更新

Hacker News · AI

Cicada:面向AI智能体的亚毫秒级零信任网关与gVisor防火墙发布

Affinity Ops发布Cicada,一个基于Go的亚毫秒级零信任网关和gVisor防火墙,专为AI智能体设计,提供15阶段的确定性安全管道,支持MCP工具调用防护、递归去混淆、蜜罐陷阱和P2P隔离。项目开源于GitHub,提供独立运行的快速启动方式,可直接测试对提示注入、SSRF、数据外泄等攻击的拦截能力。

03

行业动态

智东西另有 1 家信源报道

华为麒麟9050系列技术解密:韬定律与逻辑折叠首落地

华为在上海举办技术沟通会,由终端BG CTO李小龙和半导体业务部长徐松余详解麒麟9050系列芯片及九大技术品牌。会议首次披露韬定律与逻辑折叠技术,通过混合键合实现1.5微米间距、5000多万个高速通道,提升CPU主频12.7%、GPU性能40%、NPU算力140%。

04

论文研究

雷锋网另有 3 家信源报道

书生-S2大模型助力三维Ghys猜想证明并通过形式化验证

上海AI实验室书生-S2大模型与许地生团队人机协同完成三维Ghys猜想证明,输出上千页推导和数十种论证思路,北大董彬、刘若川团队用SHEAF框架在Lean系统中完成形式化验证,验证耗时约5天、产出55万行代码。相关论文已发布于arXiv,形式化代码公开于GitHub。该工作标志着中国大模型首次攻克世界级数学难题,验证了AI在前沿数学研究中的推理与协作能力。

Microsoft Research一手

Microsoft Research 发布 Magnetar:基于标准哈希的通用零知识计算系统

Microsoft Research 发布 Magnetar,一个基于标准哈希函数(如 SHA-256 或 SHA-3)的零知识虚拟机(zkVM),可证明用 Rust、Go 或 C 编写的程序执行,平均速度比现有最快系统快 10 至 39 倍,验证耗时约 12 毫秒,无需椭圆曲线或可信设置,支持任意规模计算的分段证明与组合。

05

快讯

(本期完)

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