AI 日报 · 2026 年 10 月 16 日 · 星期五
张洋HOT
模型发布/更新
The DecoderBlack Forest Labs 发布开源权重图像模型 FLUX 3 Image Klein，8 GB 显存可跑
Black Forest Labs 发布 FLUX 3 Image Klein，这是一个 5.6B 参数的开源权重模型，支持文生图、图像编辑以及最多十张参考图的生成，支持原生 4K 输出、像素级编辑和用于元素定位的边界框。
阶跃 Step 5 Preview 大模型权重开放，支持 100 万 token 上下文窗口
阶跃正式释放 Step 5 Preview 权重，开放 BF16 与 FP8 模型权重、技术博客及配套开源开发工具。该模型面向长程 Agent 任务设计，采用稀疏 MoE 架构，总参数量 600B、每 token 激活参数 27B，支持 100 万 token 上下文窗口，原生支持文本与视觉输入。
NVIDIA 发布 Nemotron 3.5 Super VL 多模态模型，面向专用智能体
NVIDIA 发布 Nemotron 3.5 Super VL，一个面向专用工作流的开放、可定制多模态模型。它采用 120B 参数的混合专家（MoE）架构，激活 12B 参数，用于处理读取文档、跨来源核对信息、遵循公司政策并调用多个工具等持续运行的企业智能体任务。
产品发布/更新
Apple 用 MLX 与 RDMA 在 Mac Studio 上实现本地与分布式大模型推理
Apple 介绍如何用最新版 MLX 在 Mac Studio 上运行前沿大模型，包括近万亿参数的 Muse Spark Open。
Google DeepMind一手另有 1 家信源报道Google DeepMind 用 Google Antigravity 加速抗菌肽发现
Google DeepMind 介绍其智能体开发平台 Google Antigravity 如何用于抗菌肽发现，把原本分散在多个数据库的检索压缩到一次会话中。
论文研究
上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，北京大学董彬、刘若川团队用 SHEAF 框架完成全部四个主定理的 Lean 形式化验证。
The DecoderGPT-6-Astra 在 TheoPhysEval 物理基准中解出 50 题中的 49 题，单题成本低于 3 美元
一项新基准测试让商用 AI 智能体在无人类提示下求解理论物理研究问题，运行在 OpenAI Codex 环境中的 GPT-6-Astra 答对 50 题中的 49 题（98%），平均每题成本低于 3 美元，整套基准约 116 美元。
微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明系统
微软研究院发布零知识虚拟机 Magnetar，可证明 Rust、Go 或 C 编写的 RISC-V 程序执行，安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，无需椭圆曲线、格假设、可信设置或未证明的纠错码猜想。