超越规模:智能体系统开启发现并暴露安全漏洞
2026-10-16 02:00 UTC
要点
- Meta 的 Muse Spark Open 和 Nvidia 的 Nemotron 等开放权重模型正在智能体与多模态任务中直接挑战专有模型的主导地位,推动行业向去中心化、可企业化部署的 AI 转型。
- 随着 LLM 智能体处理长周期任务,该领域正逐步形成结构化记忆、递归自我改进和因果失效归因等关键基础能力,从而超越单一的 ReAct 循环。
- LLM 智能体在实际工作流中的部署暴露出新型系统性安全漏洞,包括工具结果误绑定、技能组合攻击和上下文完整性违规,而现有安全对齐机制尚无法应对这些问题。
- AI 正从科学分析工具转变为自主的科学发现智能体,这一转变需要新的验证框架,例如基于 Lean 的证明检查和可复现的智能体基准测试,以维护认知完整性。
- 随着智能体工作负载规模扩大,系统级瓶颈正从模型训练转向推理服务,推动了分词、KV 缓存管理、投机解码和多模型记忆协调等领域的创新。
当前 AI 前沿的决定性特征已不再是单纯的模型规模扩张,而是智能体系统、开放权重基础设施与专业化科学工具的崛起——这些能力在开启自主发现的同时,也暴露出深层的系统化安全与可靠性缺口。 主要企业发布的开放权重模型正在挑战专有模型在智能体与多模态任务中的主导地位,推动行业格局向去中心化、可企业化部署的 AI 转变。 随着智能体承担起长周期目标,该领域正逐步形成共识:结构化记忆、递归式自我改进与因果失效归因已成为不可或缺的架构基础组件。 然而,这种自主性也带来了新型攻击面——工具结果误绑定、技能组合漏洞利用、上下文完整性破坏——而现有的安全对齐机制尚无法应对。 与此同时,科学自动化、具身机器人与推理服务基础设施的并行推进进一步放大了这些动态:AI 正成为自主发现主体,需要全新的验证框架,而系统瓶颈也从训练环节向智能体服务端迁移。 总体而言,这些进展揭示了一个能力与脆弱性同步演进的前沿态势。
开放权重前沿模型重塑竞争格局
开放权重前沿已从研究性新事物发生决定性转变,成为对专有模型主导地位的直接竞争挑战,这得益于 Meta 和 Nvidia 同步发布的模型,它们在前沿规模上瞄准了智能体与多模态能力。 Meta 的 Muse Spark Open 是一个总参数量达 8160 亿的多模态混合专家模型,每个 token 的活跃参数约为 420 亿,上下文窗口最高可达 100 万 token,作为开放权重模型在 Hugging Face 上以 Muse Model License 发布。 Meta 官方公告称,该模型能在其 100 万 token 的上下文中同时处理文本、图像、音频和视频,使其成为能力最强的美国开放权重模型,并专门针对编程和智能体任务。 此次发布包含用于独立稳健性的额外安全后训练,并随附 Helion——一种 PyTorch 原生内核 DSL,可提供 1.03 至 3.95 倍的内核级加速,强调了对开放权重部署的基础设施级支持 1。
The Decoder 的媒体报道将 Muse Spark Open 定位为 Meta 对 Qwen、GLM 和 Kimi 等领先中国开放权重竞争对手的直接回应,通过提供美国本土的替代方案,加剧了全球开放权重 AI 竞赛 2。 这种定位将该发布置于明确的竞争性地缘政治背景中,而不仅仅是一个技术里程碑。
Nvidia 同步发布的 Nemotron 3.5 Super VL 沿着互补的企业轴线,将对专有模型主导地位的开放权重挑战进一步延伸。 据 The Decoder 报道,Nemotron 是一个拥有 1200 亿参数的开放多模态混合专家模型,活跃参数为 120 亿,专为连续的企业智能体任务设计 3。 与 Muse Spark Open 对前沿规模的强调不同,Nemotron 还附带两个用于本地硬件的压缩 Bolt 变体——74B-A9B 24GB 模型和即将推出的 E4B 4GB 模型——瞄准自托管企业部署 3。 The Decoder 报道称,这种高吞吐量、原生多模态和开放数据集的结合,可能会促使企业采用针对特定硬件生态系统优化的开放权重模型 3。
综合来看,这些发布表明了一种趋同的策略:Meta 和 Nvidia 都在构建开放权重的多模态 MoE 架构,明确针对智能体工作负载设计,但二者面向不同的部署场景。 Meta 的发布瞄准前沿级能力和针对编码优化的智能体性能,有望通过降低构建此类应用的门槛,推动高级智能体 AI 开发的普及。 Nvidia 的发布则面向企业级智能体的持续运行,提供了针对特定硬件的压缩变体 3。 双方均表示各自的发布有望降低采用门槛——Meta 面向构建高级智能体应用的开源社区 4,Nvidia 面向需要可定制、自托管 AI 智能体以持续处理文档和数据的企业 3——这表明开放权重模型正同时在研究和企业部署两大场景中,对专有替代方案发起挑战。
智能体系统需要记忆、自我改进与故障诊断的新范式
主流的 ReAct 式循环——即智能体在单一、短暂的上下文窗口内完成推理、行动与观察——在面对长周期任务时已暴露出结构性不足。 随着智能体从处理孤立查询转向持续性的研究工作流,该领域正逐步收敛于三种新的架构基元:用于持久化的结构化记忆、用于自我改进的递归状态继承,以及用于故障诊断的因果归因。
就持久化记忆而言,核心问题在于随着上下文不断增长,标准的近邻检索会失效。 MemCode 通过将原子记忆单元定义为自包含且具备来源依据的事实,并经由同构语义量化将其映射至可学习的码本,从而解决了这一问题 5。 这种离散语义表示旨在降低长周期助手中依赖上下文的检索失败率,同时来源指针使记忆的构建与审计更加切实可行 5。 Agentic Scientist 流水线进一步拓展了这一架构转变,它利用跨智能体编排、基于评分标准的评估以及证据生成阶段,来支撑可靠的研究工作流,而非仅仅进行超参数优化 6。 综合来看,这些方法表明,持久且可审计的记忆是实现自主发现落地的前提——它能防止智能体因缺乏结构化历史状态而产生过拟合与无依据生成 6。
在静态持久化之外,智能体还必须具备跨迭代从经验中学习的能力。 SwarmRSI 为科学智能体集群确立了递归自我改进的范式,其方式是定义可演化的可继承研究状态——包括假设、程序、实验证据及未决需求——并将其存储于共享图谱中 7。 该机制专门应对那些因实现不当而被放弃的潜力假设,并能在不同智能体间复用保留的假设与互补的程序组件 7。 这标志着从单体推理循环向新架构的转变:在这些新架构中,中间研究产物以可继承结构的形式,跨智能体世代持久留存 7。
然而,随着架构日益复杂,引入共享内存与继承状态后,故障诊断也变得更加困难。 当前依赖人工判断“首个错误”标签的调试方法存在严重缺陷:在 66% 的情况下,智能体在标注步骤的成功概率甚至并未下降 8。 为此,可执行前缀值框架引入了 V(h_t)——即随机智能体从给定中间历史出发的成功概率——以将失败的真正原因与其表象区分开来 8。 这直接挑战了现有的智能体评估方式,揭示出人工标注的失败点往往针对的是表象而非根因 8。
总体来看,这些进展表明智能体的可靠性需要超越单次推理。 结构化内存实现持久化 5,共享图实现继承 7,前缀值分析实现因果诊断 8——各自解决单体智能体循环的一项不同局限。
自主智能体的隐藏攻击面
随着 LLM 智能体从孤立的对话界面转变为嵌入实际工作流的有状态、多步骤系统,其呈现的攻击面与常规安全对齐所解决的漏洞截然不同。 新兴威胁态势并非由显式的内容篡改所定义,而是源于对智能体自身执行语义的结构性利用。
工具结果误绑定正是这一转变的典型例证。 TRAP 识别出一种失效模式:真实且未经修改的工具结果被重放到不兼容的执行上下文中,导致 LLM 智能体采取不安全操作 9。 这种攻击面之所以有别于提示注入或工具投毒,恰恰在于它无需修改任何内容,从而暴露出有状态智能体系统固有的漏洞,而非内容本身的缺陷 9。 当智能体通过组合技能而非单体提示运行时,这种危险会进一步加剧。 CoRedSkill 表明,单独审计看似无害的技能在执行过程中可能组合成隐蔽的未授权操作 10。 这意味着威胁不仅限于重放结果 9,还包括技能组合的涌现行为——这些行为在保留原始任务效用的同时执行恶意操作 10。
除了对工具和技能的直接操纵外,智能体在可执行任务中维持上下文完整性方面也表现出系统性失效。 AgentCIScope 揭示,在实际应用环境中,主流 LLM 智能体的上下文完整性违规率介于 32.5% 至 94.4% 之间,暴露出任务完成能力与隐私保护之间的鸿沟 11。 这种泄露源于智能体的正常运行,而非对抗性干预,表明功能胜任力与隐私保护在同一系统内可能严重脱节 11。
TRACER 进一步阐明了现有对齐机制为何无法捕获这些向量。 研究发现,同一恶意载荷作为后续消息时的平均攻击成功率为 18%,而重新包装为检索上下文后则升至 53% 12。 这种框架差异意味着,针对某种部署包装训练的防御机制,在不可信内容通过 RAG、工具或其他智能体传入时可能会失效 12。 综合来看,这些发现表明 LLM 智能体的部署引入了误绑定、组合隐蔽性、上下文泄露和依赖包装的注入等漏洞,它们均低于当前内容级安全对齐的检测阈值,亟需针对智能体执行架构设计的防御机制 9, 10, 11, 12。
科学发现与验证日益依赖AI介导的自动化
AI 在科研中的角色正从分析辅助转向自主发现,但证据表明,这一转变的速度已超越了维持认知完整性所需的验证框架的发展步伐。 Google DeepMind 推出了 Google Antigravity,这是一款智能体科学工作台,可将原本分散在多个生物数据库中的检索压缩为单次交互式会话,用于抗菌药物发现,据公司官方公告称 13。 这使得 AI 不再仅仅是分析工具,而是成为发现流程中的主动参与者。 然而,并行的发展表明,此类智能体系统的输出往往达不到领域标准。 一篇 arXiv 预印本提出的 INTO THE UNKNOWN 基准测试要求 AI 智能体在给定研究的基础上撰写后续论文,以此开展开放式科学研究; 该测试揭示,前沿智能体能够生成表面上看似合理的科学后续研究,但在 135 份提交中,没有一份达到领域科学家的标准 14。 Antigravity 对加速发现的承诺与该基准测试对科学产出不足的揭露之间的张力,凸显了智能体能力与科学有效性并未以相同速率趋同。
随着 AI 系统大规模生成新型数学内容,验证挑战进一步加剧。 一篇 arXiv 预印本中的结构化提取,从 OpenAI 于 2026 年 10 月发布的 722 份 AI 生成的数学手稿中的 372 个问题族里的 38 个中,分离出了新的数学工具——引理、构造、不等式和证明机制,为面临海量未经同行评审语料库的数学界提供了一种分诊工具 15。 另一篇 arXiv 预印本指出了一个相关的瓶颈:随着 AI 系统生成日益复杂的数学证明,逐步检查有效性变得至关重要,而现有的获取步骤级标签的方法要么依赖昂贵的人工标注,要么依赖不适用于证明的最终答案检查 16。 LeanPRM 框架针对这一瓶颈提出了解决方案,它利用 Lean 证明助手,在无需人工标注的情况下自动为自然语言数学证明生成步骤级正确性标签,生成了一个包含 10,634 份带标签证明和 152,005 个步骤标签的语料库,以及 LeanPRM-Bench——一个由 200 份证明组成的留出基准测试 16。
综合来看,这些资料揭示出一种正在浮现的结构性趋势:随着智能体系统加速科学产出——无论是在生物数据库筛选还是数学文稿生成领域——该领域也在同步构建从形式化证明助手到可复现智能体基准的各类验证机制。 针对 OpenAI 文稿所采用的筛选方法,以及 LeanPRM 基于 Lean 的步骤级验证,代表了对同一认知挑战的互补性回应,而 INTO THE UNKNOWN 基准恰好使这一挑战显性化:自主科学产出需要与生成规模相匹配的验证基础设施。
具身AI通过世界模型、触觉融合与虚实迁移取得进展
具身智能正沿着三个互补方向推进——力感知操作、预测性世界模型以及可扩展的仿真流水线——各自解决从感知到物理行动路径上的不同瓶颈。 预印本论文介绍的 TacClaw-Infinity 数据集提供了一个大规模结构化的视觉-触觉-语言-动作语料库,涵盖超过 1 万小时、100 万条片段和 10 亿帧画面,涉及 1000 多种任务类型,旨在通过结构化监督推进富接触机器人操作 17。 对触觉融合的强调反映出一种共识:仅靠视觉和语言不足以完成需要精确物理接触的任务。 在数据层面之外,另一篇预印本首次对世界模型在视觉-语言-动作(VLA)模型中的集成进行了系统性、受控的实证研究,厘清了此前掩盖真实性能增益来源的混淆变量,为世界模型增强的 VLA 提供了可操作的设计原则 18。 综合来看,这两条研究路线表明,具身操作领域的进展同时依赖于更丰富的多模态数据与预测模型的原则性架构集成。
可扩展的监督与仿真管线进一步加速了该领域的发展,降低了对成本高昂的机器人遥操作的依赖。 一篇预印本论文引入了 HUMANVERSE 数据集和 λ0 人形视觉-语言-动作策略,该研究利用了 500 小时的开放世界第一人称人类数据,将视频与同步的身体和手部运动相匹配; 所报告的对齐误差降低和单调缩放特性表明,兼容机器人的人类数据可能有助于提升向实体机器人的迁移效果 19。 这种将日常人类全身演示转化为训练信号的方法,将数据管线扩展到了受控实验室环境之外。 The Decoder 的一篇媒体报道将 Google 的 Gemini 4 Argon 描述为一个旨在统一机器人控制、交互式 3D 仿真生成和训练数据评估的单一模型; 该模型能从单张照片生成超过 4,500 个多样化的仿真训练片段,并将真实机器人的成功率从 56% 提升至 75% 20。 HUMANVERSE 和 λ0 的工作将人类经验作为可扩展的监督来源 19,而据媒体报道,Gemini 4 Argon 方法则用单一模型取代了碎片化的工具链,以实现仿真、控制和评估 20; 这两种策略从不同方向应对了从仿真到现实的迁移问题——一种依靠源自人类的数据,另一种则通过极少输入生成仿真。
尽管取得了这些进展,相关证据仍存在固有的局限性。 TacClaw-Infinity、世界模型 VLA 和 HUMANVERSE 的来源均为预印本,同行评审状态未知 17, 18, 19,而 Gemini 4 Argon 的结果是厂商报告的指标,仅通过媒体报道传达,并未经过独立验证 20。 这些警示表明,尽管力感知操作、预测性世界模型和可扩展仿真管线的整合正在加速机器人学研究,但该领域尚未证实这些方法能否可靠地实现长时程物理推理或跨具身泛化。
基础设施瓶颈从模型训练转向智能体服务与推理效率
随着智能体工作负载的扩展,推理服务栈的瓶颈正经历结构性转移:从模型训练转向支撑智能体执行的预处理、内存管理与分布式执行层。 分词历来是可忽略的预处理步骤,如今却已成为 LLM 服务管线中首字响应时间的重要制约因素。 一篇将在线分词形式化的论文引入了“延迟”概念,用以衡量在线分词器输出滞后于最大稳定前缀的程度,并证明除非 P=NP,否则精确零延迟在线分词属于 NP 困难问题,不存在能在多项式时间内突破 o(mt) 延迟的算法 21。 这一理论结果直接界定了流式字符到 token 转换所能达到的响应上限; 若非如此,该机制本可降低服务系统的首字响应时间与内存压力 21。
在 KV 缓存复用场景下,分词瓶颈尤为突出,而该场景正是智能体服务的核心。 Delta Tokenizer 针对这一问题引入了精确增量分词前端,将每一轮智能体交互视为对前一请求的增量处理,而非对完整历史重新编码 22。 随着 KV 缓存复用使分词在首字响应时间中的占比不断攀升,CPU 侧瓶颈日益凸显,该方法正是对此的应对; 同时,它保留精确的引用 token ID,以避免近似分词器可能引入的隐蔽缓存失效或模型输入不匹配 22。 在线分词论文为流式转换确立了理论难度下界 21,Delta Tokenizer 则将实际应对能力延伸至增量会话差这一智能体特有场景 22。
除预处理外,多模型智能体架构还带来了独特的内存管理挑战。 JointServe 提出了一种统一驻留公式,将模型权重分片与 KV 缓存块视为单一 GPU 内存预算下相互竞争的对象 23。 该公式回应了“所有模型均可装入 GPU 内存”这一假设的失效——在私有化与边缘部署中,随着智能体演进为将专业化能力置于不同权重的架构,该约束已不再成立 23。
分布式推理为受限于内存的方法提供了一条互补路径。 Apple 表示,MLX v0.30.1 引入了 jaccl 通信后端,支持借助 macOS 26.2 引入的基于 Thunderbolt 5 的低延迟 RDMA 驱动,在多台 Mac Studio 之间进行分布式 LLM 推理 24。 Apple 指出,该能力有望推动前沿级 LLM 的普及,使其能够在无需云基础设施的私有环境中实现近万亿参数的本地推理,实测峰值功耗仅为 200W-300W,且解码速度出色 24。 综合来看,JointServe 的统一驻留模型与 MLX 的分布式 RDMA 方法代表了两种截然不同的策略——前者侧重内存内优化,后者侧重硬件级分布——旨在解决智能体工作负载带来的服务约束。
简讯
微软官方公告介绍了 Magnetar,这是一款零知识虚拟机,能够证明用 Rust、Go 或 C 编写的通用 RISC-V 程序的执行过程,无需手动重写电路。 在 15 个基准测试程序中,其平均运行速度比现有最快的同类 zkVM 快 10 到 39 倍 25。 公告指出,这可能使密码学证明的生成成为日常软件执行的常规产物,而不再是一项专门活动 25。 在基础设施方面,NVIDIA 根据 Apache 2.0 许可证开源了其 Run:ai AI 工作负载与 GPU 编排平台,NVIDIA 官方公告称,此次发布包含完整的控制平面、Kubernetes operator/控制器、CLI 以及本地开发环境 26。 Hacker News 上的一篇社区帖子证实了此次发布,并指出这可能会降低组织在 Kubernetes 上跨团队共享和治理 GPU 资源的门槛 27。 NVIDIA 的公告进一步明确了四个可模块化、独立采用的组件——KAI Scheduler(作为沙箱项目贡献给 CNCF)、GPU Fractioning Operator、KAI Resource Management 和 Workload Map——这可能会使 Kubernetes 上共享 AI 基础设施的管理方式走向标准化 26。
近期有多项发布推进了开放权重与多模态模型的研发。 Hugging Face 的官方公告介绍了 Apertus 1.5,该版本在 8B 和 70B 模型基础上,通过早期融合扩展了原生图像与音频理解能力,提供 262k 上下文窗口、可选的思考模式以及增强的工具调用功能,并依据 Apache 2.0 协议开源了模型权重、数据、中间检查点及训练方案 28。 公告指出,与欧盟《人工智能法案》治理要求相对应的透明评估卡,有望为可复现的 AI 报告树立新标准 28。 据 Hugging Face 官方公告,Black Forest Labs 发布了 FLUX. 3 Image Klein,这是一款开放权重图像生成模型,首发即集成至 Hugging Face Diffusers 库,并在单一模型中统一了文生图、多参考图生图及边界框布局控制功能 29。 Together AI 在其官方博客中透露,作为首日发布合作伙伴,Meta 的 Muse Spark Open 已上线其平台; 这是一款面向智能体编程的开放权重模型,具备 100 万 token 上下文窗口,专为长时间运行的智能体软件工程工作流、计算机操作、网页浏览及多模态输入而设计 30。 IBM 在 Hugging Face 上的官方公告介绍了 Granite Switch 4.1(8B 和 30B),这是一套模块化模型系统,将基础 LLM、多个 Activated LoRA 及协同部署的 ASR 编码器整合至单一端点,其中包含通用 Decision aLoRA、专用于安全任务的 Guardian aLoRA 以及 Granite-Speech-5,有望降低企业多任务流水线的 GPU 与 VRAM 成本 31。
Hacker News 上的一篇社区帖子介绍了一项研究,该研究系统分析了 1,866 个热门 GitHub 仓库中的 AI 编程代理指令文件。 研究发现,34% 的项目现已包含此类文件; 在含有指令文件的项目中,`AGENTS.md` 以 78% 的采用率成为事实标准 32。 帖子指出,大多数可检查规则缺乏具名的执行机制,并建议直接在规则中附加 linter 或 CI 引用,以此作为具体的改进路径 32。 Apple 的一则官方公告介绍了 Selection-based Structured Reasoning (SSR) 框架。 该框架将 LLM 的推理过程从开放式生成重构为对预先指定的、可复用的自然语言候选项进行离散选择,旨在解决小型多模态模型常生成冗长却无用的推理轨迹而导致的推理成本与延迟瓶颈 33。 PyTorch 的一则官方公告介绍了 ExecuTorch Cortex-M 后端,该后端利用 CMSIS-NN 加速,使 PyTorch 模型能够直接在 Arm Cortex-M CPU 上运行,免去了将模型转换为其他框架的需要,从而消除了嵌入式 ML 部署的一大阻碍 34。
综合与展望
当前 AI 前沿的决定性特征已不再是单纯的模型规模扩张,而是智能体系统、开放权重基础设施与专用科学工具的涌现。 这些能力在开启自主发现的同时,也暴露出深层的系统化安全与可靠性缺口。 Meta 与 Nvidia 的开放权重发布正在推动能力去中心化,从编辑视角来看,这直接加剧了已部署智能体面临的安全隐忧:智能体模型分布越广,工具结果误绑定与上下文完整性违规带来的攻击面就越宽。 与此同时,智能体系统在结构化记忆与递归自我改进上的架构趋同,与基础设施需求之间形成了张力——持久运行、自我审计的智能体会施加推理服务压力,这是以训练为中心的范式从未预料到的。 科学与具身 AI 应用构成了上述多重压力交汇的最严峻考验:自主发现与物理操作既需要当前对齐方法尚不具备的安全保障,也需要当今服务栈难以高效维持的长程推理。 以 Lean 为基础的证明检查等验证框架能否足够快地扩展,以匹配安全保障不足的自主智能体的加速部署,仍是一个悬而未决的问题。 关于架构与基础设施趋势的证据基础可支撑中等置信度,这些证据来自第一方发布与同行评审研究的混合; 但在安全治理与市场动态方面证据最为薄弱,更多依赖二手与非机密来源。
本次回顾涵盖 34 项进展:17 项 A 级研究来源、11 项 B 级第一方来源,以及 6 项 C/D 级二手或社区来源。 最坚实的结论建立在 A 级工作之上,第一方与社区来源应作为方向性参考; 若要获得更高置信度,需对自报告结果进行独立复现与一手来源确认。
原文链接与引用索引
- [1] Muse Spark 1.2 现已开放权重 — PyTorch Blog · Tier B/official_tech_blog
- [2] Muse Spark Open 是 Meta 在开源权重竞赛中对 Qwen、GLM 和 Kimi 的回应 — The Decoder · Tier D/other
- [3] 英伟达Nemotron 3.5 Super VL:专为不间断运行企业AI智能体而生的开源模型 — The Decoder · Tier D/other
- [4] 欢迎Muse Spark Open:来自Meta的开放权重前沿多模态混合专家模型 — Hugging Face Blog · Tier B/official_tech_blog
- [5] MemCode:面向长期智能体记忆的离散语义表示 — arXiv · Tier A/research_paper
- [6] 智能体科学家:编排编码智能体实现自动化科学(共同)发现 — arXiv · Tier A/research_paper
- [7] SwarmRSI:通过演化式科学智能体群实现递归自我改进 — arXiv · Tier A/research_paper
- [8] 用于定位智能体失败的可执行前缀值 — arXiv · Tier A/research_paper
- [9] TRAP:针对LLM代理中错误绑定的工具结果重放攻击 — arXiv · Tier A/research_paper
- [10] CoRedSkill:基于AST引导注入的隐蔽技能组合攻击 — arXiv · Tier A/research_paper
- [11] AgentCIScope:面向LLM智能体的基于事实的上下文完整性评估 — arXiv · Tier A/research_paper
- [12] TRACER:面向间接提示注入的轨迹正则化训练 — arXiv · Tier A/research_paper
- [13] 利用Google Antigravity加速抗菌肽搜索 — DeepMind Blog · Tier B/official_tech_blog
- [14] 走向未知:在开放科学研究问题上对AI智能体进行基准测试 — arXiv · Tier A/research_paper
- [15] 机器发明了什么:从OpenAI 2026年10月发布的AI生成数学中挖掘新数学工具 — arXiv · Tier A/research_paper
- [16] LeanPRM:面向自然语言证明验证的Lean接地过程监督 — arXiv · Tier A/research_paper
- [17] TacClaw-Infinity:面向灵巧操作的大规模视觉-触觉-语言-动作数据集 — arXiv · Tier A/research_paper
- [18] 视觉-语言-动作模型中世界建模的关键因素研究 — arXiv · Tier A/research_paper
- [19] λ0:面向人形机器人移动操作的可扩展第一人称人类数据 — arXiv · Tier A/research_paper
- [20] 谷歌希望 Gemini 4 Argon 成为机器人所需的唯一 AI 模型 — The Decoder · Tier D/other
- [21] 线性时间最优延迟的在线分词 — arXiv · Tier A/research_paper
- [22] Delta Tokenizer:面向多核 CPU 长提示的会话增量与段并行参考一致分词 — arXiv · Tier A/research_paper
- [23] JointServe:在内存受限的GPU上服务多模型智能体 — arXiv · Tier A/research_paper
- [24] 在 Mac Studio 上使用 MLX 和 RDMA 进行本地与分布式大型 LLM 推理 — Apple Machine Learning Research · Tier B/official_tech_blog
- [25] 使用 Magnetar 进行基于证明的通用计算 — Microsoft Research · Tier B/official_tech_blog
- [26] NVIDIA Run:ai 作为 NVIDIA DSX AI 工厂平台的一部分现已开源 — Hacker News: AI/LLM · Tier B/official_tech_blog
- [27] NVIDIA Run:ai 作为 Kubernetes AI 工作负载编排平台开源 — Hacker News: AI/LLM · Tier C/community_opinion
- [28] Apertus 1.5 发布说明 — Hugging Face Blog · Tier B/official_tech_blog
- [29] 在 Diffusers 中迎接 FLUX.3 Image Klein — Hugging Face Blog · Tier B/official_tech_blog
- [30] Meta Muse Spark Open 在 Together AI 上线 — Together AI Blog · Tier D/other
- [31] Granite Switch 4.1:一个端点实现聊天、决策与语音 — Hugging Face Blog · Tier B/official_tech_blog
- [32] 1866个热门GitHub项目向其AI编程智能体传达了什么 — Hacker News: AI/LLM · Tier C/community_opinion
- [33] 基于选择的结构化推理:迈向高效多模态搜索智能体 — Apple Machine Learning Research · Tier B/official_tech_blog
- [34] 将ExecuTorch引入Arm Cortex-M CPU — PyTorch Blog · Tier B/official_tech_blog