跳到正文

#推理

重要进展,按时间持续更新

阅读日报
  1. Hugging Face Blog 精选AI 评分82

    Mistral 发布 Mistral Large 4(Le Chonk)多模态 MoE 模型并在 Hugging Face 上线

    Mistral 发布多模态多语言 MoE 模型 Mistral Large 4(代号 Le Chonk),总参数约 1T、激活参数 49B,上下文窗口 1M tokens,输入支持文本和图像、输出为文本。

    模型提供 FP8 与 NVFP4 两个官方版本,另有 Unsloth 和 llama.cpp 团队制作的 GGUF 量化,采用 Mistral Ecosystem Open-Weight License(MIT 衍生协议,对模型即服务用途设有限制)。

    图片来源:Hugging Face Blog
    关注点

    Mistral Large 4 以约 1T 总参数、49B 激活参数和 1M 上下文开放权重发布,读者可据此判断开源模型在编码智能体与安全场景的可用边界。

  1. The Decoder 精选AI 评分88

    OpenAI 发布 GPT-6.1 Terra,API 价格减半且多项基准提升

    OpenAI 发布 GPT-6.1 Terra,API 输入 token 每百万 $1、输出 $5,均为 GPT-5.6 Terra 的一半,缓存输入降至每百万 $0.05。

    该模型已向 Plus、Pro、Enterprise、Edu 用户开放,可在 ChatGPT Work、Codex 和 API 中使用。Artificial Analysis 称其在最高推理强度下 Intelligence Index 比 GPT-5.6 Terra 高 6 分,单任务成本 $0.40 对 $1.40;在 Terminal-Bench 4.0 上最高推理强度解决 50.3% 任务,前代为 21.5%。

    关注点

    GPT-6.1 Terra 的 API 价格减半,同时多项基准提升,读者可据此比较它与 Claude Sonnet 5.5 等中端模型的成本与能力取舍。

  1. Simon Willison 精选AI 评分82

    月之暗面发布 Kimi K3.1 Pro,API 上线并承诺 11 月 4 日前开放权重

    月之暗面今日在 Kimi API 上线 Kimi K3.1 Pro,暂未开放权重,但承诺 2026 年 11 月 4 日前发布完整模型权重。

    定价为输入 $2.00/百万 tokens、输出 $10/百万 tokens,与 GPT-6.1 Sol 相同,是 Claude Opus 5.5 的一半;另提供速度提升 2-3 倍、价格翻倍的 Highspeed 版本,输入 token 缓存命中价格不变。

    关注点

    Kimi K3.1 Pro 以接近前沿闭源模型的价格和评分进入 API,并承诺开放权重,读者可据此判断开源模型与闭源前沿的差距。

  1. Hugging Face Blog 精选AI 评分85

    Reflection 开源 501B 模型 Beam,支持 1M 上下文与智能体编码

    美国新实验室 Reflection 在 Hugging Face 发布首个开源模型 Beam,采用 MoE 架构,总参数 501B、每 token 激活 23B,支持文本输入和 1M token 上下文窗口,以 Apache 2.0 许可开放,面向编码与智能体场景。

    模型共 52 层,每层 256 个专家、每 token 路由 8 个,提供 BF16、FP8 和 NVFP4 三种 checkpoint,BF16 版本约 1 TB。

    关注点

    Reflection 首个开源模型 Beam 给出 501B 参数、1M 上下文与完整部署配方,可据此评估自托管前沿模型的硬件门槛。

  2. Hugging Face Blog 精选AI 评分74

    IBM 发布 Granite Switch 4.1,单端点支持对话、决策与语音

    IBM 发布 Granite Switch 4.1,Granite-Switch-4.1-8B 和 -30B 在同一个托管端点上支持自然语言对话、通用与专用决策以及语音转文字。

    新版本加入通用决策 aLoRA、在安全决策任务上平均优于 Jev 1.13、Microsoft-Decision-1、GPT-Luna-Decisions 和 Clef-Flash 的 Guardian aLoRA,以及 OpenASR 排行榜上最快的 ASR 模型 Granite-Speech-5.0-Turbo-CTC。

    关注点

    Granite Switch 4.1 把决策适配器与语音识别合入单一端点,读者可据此判断多任务模型在显存与部署上的取舍。

  3. The Decoder 精选AI 评分82

    GPT-6-Astra 在 50 道物理研究题中解出 49 道,平均每题不到 3 美元

    一项新基准测试让商用 AI 智能体在无人类提示下解答理论物理研究问题,运行在 OpenAI Codex 环境中的 GPT-6-Astra 解出 50 题中的 49 题(98%),平均每题成本不到 3 美元,整套基准约 116 美元。

    Anthropic 的 Opus 5.5 在 Claude Code 中得分 92%,Google Gemini 3.8 Flash 为 68%,开源权重模型 DeepSeek-V4.1-Flash 和 GLM 5.3 分别为 54% 和 42%。题目覆盖理论物理 11 个子领域,刻意避开重大开放问题,聚焦对已知方法略作改动的常规计算。

    关注点

    读者可看到前沿模型在理论物理论文级计算上的实测成绩、成本与失败模式,以及作者对科研训练和资源分配影响的判断。

  4. Microsoft Research 精选AI 评分62

    微软研究院发布 Magnetar:基于标准哈希函数的通用零知识证明 zkVM

    微软研究院发布 Magnetar,一个通用零知识虚拟机(zkVM),可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行,并返回约 12 毫秒即可验证的短证明。

    它在笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令,在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍,在代币转账基准上比另外两个系统快 300 倍以上;优化版本可达每秒 9.5 至 12.8 百万周期。其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数,不需要椭圆曲线、格假设、专用哈希函数、可信设置或未证明的纠错码猜想。该成果是微软研究院十余年零知识证明研究的延续,技术论文给出完整设计、安全分析与测量结果。

    关注点

    微软研究院公开 Magnetar 的 zkVM 设计与基准数据,读者可了解零知识证明在通用程序上的性能与安全取舍。

  1. Hugging Face Blog 精选AI 评分62

    Apertus 1.5 发布:8B/70B 模型新增图像音频理解与思考模式

    Apertus 1.5 在 Apertus 1.0 的 8B 和 70B 模型基础上新增图像与音频理解、可选思考模式、4 倍长的上下文窗口,并改进指令遵循和工具调用能力,权重以 Apache 2.0 许可发布在 Hugging Face。

    模型采用早期融合方式,图像和音频以离散 token 与文本进入同一序列,图像用 Emu3.5 tokenizer 编码(512×512 图像为 1,024 token),音频用 WavTokenizer(每秒 40 token),架构不变,模型只输出文本。上下文窗口扩展到 262,144 token,8B 和 70B 分别增加 4 万亿和 2 万亿 token 训练数据,总量达 19T 和 17T。

    关注点

    Apertus 1.5 把 8B/70B 文本模型扩展为多模态并开放全部训练细节,可观察开源模型如何用 tokenizer 方案做多模态。

  2. Google Research 精选AI 评分72

    Google 发布 Deep Review,用智能体审阅技术文档

    Google 公开发布 Deep Review,一个面向复杂文档的智能体审阅系统,可对论文、法律和财务文档做逻辑一致性、数学陈述与事实核查,并给出改进建议。

    系统采用文档分段、自适应算力分配、并行验证和全局综合四阶段流水线,由 Gemini 4 Argon 提供底层能力。

    关注点

    Google 公开了面向长技术文档的智能体审阅系统,并给出四阶段流水线与会议试点规模,可据此判断自动审阅在论文与法律文档中的可用边界。

  1. Google DeepMind 精选AI 评分87

    Google DeepMind 发布 Gemini 4 Argon 机器人模型

    Google DeepMind 发布 Gemini 4 Argon,主打物理理解、代码生成与视觉语义推理,在测试 3D 环境物理空间问题的 Embodied Reasoning(ERQA)基准上以纯推理取得 87%,称超过其他前沿模型。

    关注点

    官方给出 Argon 在 ERQA 的 87% 成绩与四类机器人工作流示例,读者可据此判断物理推理模型在机器人栈中的落点。

  2. AWS Machine Learning Blog 精选AI 评分60

    在 Amazon Bedrock 上用 Grok 4.7 构建长时程智能体

    AWS 博客介绍 SpaceXAI 的 Grok 4.7 已在 Amazon Bedrock 上线,并演示如何用它搭建工具调用智能体。

    关注点

    作者用三个可穷举验证的任务实测 Grok 4.7 四档推理强度,给出准确率与 token 成本的取舍数据,方法可迁移到自建智能体评测。

  1. Latent Space 精选AI 评分82

    Meta 发布 Muse Wonder 与 Muse Wonder Full 模型家族

    Meta Superintelligence Labs 发布第二代模型家族 Muse Wonder 与 Muse Wonder Full,距该实验室成立约 14 个月。

    Wonder 通过 Meta Model API 和 Muse Code 提供,Full 仅面向 Muse Code 订阅用户;规格为 1M 上下文,输入支持文本、图像、视频和音频,输出仅文本,定价为每百万 token 输入 4 美元、缓存输入 0.20 美元、输出 20 美元。

    关注点

    汇总了 Meta 新模型的首发细节与多家第三方评测,可对照看它在智能体任务上的提升幅度和与 Opus 5.5 的差距。

  2. TechCrunch · AI 精选AI 评分82

    Meta 发布首个前沿模型 Muse Wonder

    Meta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full 两款模型,这是其首次尝试前沿模型。

    关注点

    Meta 首次发布前沿模型,给出定价、基准对标与仅限订阅的开放方式,可据此判断其市场位置。

  1. The Decoder 精选AI 评分82

    Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并通过同行评审

    Google DeepMind 的 AlphaProof Nexus 自主解出多个开放数学问题,相关研究发表在 Science 上。

    它攻克了 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决代数几何中的一个开放问题,并改进了 min-max 优化中的一个已知界。

    关注点

    AlphaProof Nexus 用 Lean 校验证明并走完同行评审,可与 OpenAI 直接公开证明的做法对照阅读。

  1. Hugging Face Blog 精选AI 评分66

    Nemotron 微调后在 IOI 2026 与 IMO 2026 双双达到金牌水平

    英伟达团队从 Nemotron 3 出发,用 SFT、RL 和生成-验证-改进推理循环打造专用模型,在 IOI 2026 和 IMO 2026 均达到金牌水平。

    关注点

    原文公开了从 Nemotron 3 微调到 IOI、IMO 金牌级成绩的完整配方,包括数据规模与推理循环设计。

  1. Mistral AI 精选AI 评分82

    Mistral 发布 Mistral Large 4 公开预览,1 万亿参数原生多模态模型

    Mistral 发布 Mistral Large 4 公开预览,这是一个 1 万亿参数、52B 激活参数的原生多模态模型,权重将于本月底开放。

    官方称其在编码、智能体工作流和多模态理解上表现突出,在 Artificial Analysis Cyber Index 上进入全球前五,在 Cybench 上解决 93% 的题目,并在 DeepSWE v1.1 上得分 61.7%。

    关注点

    官方给出 1 万亿参数、52B 激活的开放权重模型在编码、智能体与多模态上的具体基准,可对照现有开源模型判断其位置。

  1. Google DeepMind 精选AI 评分82

    Google DeepMind 发布 Gemini 4 Argon 前沿模型

    Google DeepMind 发布新前沿模型 Gemini 4 Argon,先通过 Fairwind Program 向受信任的网络安全防御者开放,后续再面向开发者、企业和消费者推出,起步定价为每百万输入 token 2 美元、每百万输出 token 10 美元,缓存输入 token 享 95% 折扣。

    关注点

    官方给出 Gemini 4 Argon 的定价、1M 输出上限与多项基准成绩,可据此判断前沿模型在长周期工程与安全防御上的进展。

  1. Berkeley AI Research 精选AI 评分62

    从 CUDA 到 MLX:K-Search 如何把数十年内核经验带到 Apple Silicon

    IBM Research 与 UC Berkeley Sky Lab 将演化式内核搜索框架 K-Search 扩展到 Apple 的 MLX,并加入结构化 CUDA 到 MLX 翻译层,让已有 CUDA 内核作为知识库适配 Apple Silicon。

    关注点

    读者可看到 CUDA 优化知识如何被结构化迁移到 Apple Silicon,以及翻译层对最终性能的具体贡献。

已经到底了