跳到正文
10月21日周三
  1. arXiv cs.AI64

    arXiv 论文:更强的 AI 突破会加速自身思想空间的枯竭

    arXiv 论文(arXiv:2610.27296)分析 36 年间 720 万篇计算机科学论文、73,089 份同行评审和 370 万研究者的主题迁移,发现 AI 领域在 Transformer 之后规模扩张但注意力明显收窄,超过半数转换方向的研究者转入 AI,审稿人置信度在 5 分制上下降整整 1 分。

    推荐理由:论文用 36 年 720 万篇论文的数据提出突破会耗尽自身关注多样性的机制,为理解 AI 研究趋势提供了新视角。

  2. arXiv cs.AI35

    安全多智能体强化学习漏洞分析:MinMax Attack 攻击框架

    一篇 arXiv 论文研究安全多智能体强化学习(SMARL)在推理时抵御观测攻击的脆弱性,提出 MinMax Attack 框架,联合为被攻击智能体选择对抗目标动作并考虑良性智能体的合作抵抗。论文推导了安全成本上界,刻画其与被攻击智能体预算和扰动预算的关系。实验显示该攻击在保持任务奖励的同时显著推高安全成本,隐蔽性更强。

  3. arXiv cs.AI31

    LSA-PAST:面向组合式增量学习的层级特定适配与原型迁移方法

    一项新研究提出 LSA-PAST,一种针对组合式增量学习(composition-IL)的参数高效方法,在组合式增量学习场景下实现了最先进的准确率-遗忘权衡表现。该方法将 LoRA 集成到冻结 ViT 中,为状态、对象和组合分别配置深度专用适配器;PAST 再通过基于当前任务数据拟合的无排练仿射变换,把旧的锚定原型映射到当前适配器空间,从而稳定共享基元表示、缓解旧组合性能漂移。

  4. arXiv cs.AI35

    学习型控制变量法用于电动汽车充电站稀有停电概率估计

    一项研究提出用基于廉价可观测特征(如温度和负荷预测)训练的停电分类器构建控制变量,降低配电馈线过载小概率事件的 Monte Carlo 仿真成本。实验显示单个特征的弱学习器可削减四分之一方差,boosted-tree 学习器约 60%。应用于印尼 Surabaya 馈线网络时,在相同仿真预算下,用学习型控制变量按 95% 置信限规划备用容量,比 Monte Carlo 将全市停电天数减少三分之一。

  5. arXiv cs.AI35

    MoSAIK:基于 K 空间自洽性的脑部 MRI 运动伪影 AI 校正方法

    研究者提出 MoSAIK,从标准多线圈 T2 加权 TSE 脑部 MRI 的 k 空间数据中回顾性估计刚体运动参数,无需无运动参考、外部导航或额外采集,并将预测参数融入运动感知的模型化重建。Transformer 编码器估计的旋转与平移误差 MSE 均低于 0.2,Pearson 相关约 0.96 和 0.94。所有在体采集中超过 75% 的切片相较未校正重建获得信息增益,同时保留解剖细节。

  6. arXiv cs.AI37

    PORA:学习判断 LLM Agent 何时值得更多推理

    arXiv 论文提出配对结果引导推理分配方法 PORA,让 LLM Agent 在每个动作前通过对比同一状态下短推理与长推理的结果,学习决定何时使用更长推理。在 BFCL memory 上,PORA 超过最强现有方法 17.4–32.9 个百分点;在代码和数学任务上匹配或超过始终长推理,同时 actor token 减少 50.6%、模型请求数减少 31.2%。

  7. arXiv cs.AI49

    ReuF2F:基于形式化本科研究问题评测编程智能体的 Lean 4 基准

    ReuF2F 是一个 Lean 4 基准,从 REU 项目收集 244 个形式化的入门级开放研究问题,用于评估编程智能体在 Lean 中端到端解决开放问题的能力。评测将问题及其逻辑否定放入 Docker 容器中的 Lean 项目,并基于 mini-SWE-agent 构建了统一测试框架 Leanimum-agent。结果显示表现最好的模型也只解决约 40% 的问题,仍有较大提升空间。

  8. arXiv cs.AI36

    M-Plan:面向 LLM 智能体的记忆编排式综合规划框架

    arXiv 论文提出 M-Plan,一个融合长期与短期记忆的闭环多智能体系统(MAS)规划框架。该框架为智能体提供全局-局部与过去-当前两类任务引导,在执行中按需给予局部提示,任务完成后将相关信息优化后写入长期记忆库,并保持即插即用设计。在 ALFWorld、Webshop 和 PDDL 多轮任务上的大量实验显示,M-Plan 在准确性和效率上均优于多种基线方法。

  9. arXiv cs.AI40

    MAMath-Bench:面向多智能体数学推理的过程感知鲁棒评测基准

    研究者推出 MAMath-Bench,一个评估多智能体系统(MAS)多模态数学推理能力的过程感知基准,包含 1,003 道题,覆盖 11 个数学类别和文本、图像、音频等模态,并提供细粒度里程碑标注。评测发现:多智能体协作并不总能提升最终答案准确率;协作能扩大中间推理覆盖面但会增加推理冗余;现有系统仍易受对抗性推理错误影响,尤其是细微结构扰动。数据集已公开。

  10. arXiv cs.AI39

    修复而非仅重采样:Lean 4 中有界的编译器引导证明修复方法

    论文提出一种有界的在线步级修复模块,在 Lean 4 自动定理证明中不再丢弃失败的 tactic,而是把编译器错误信息喂给预训练修复模型原位修复。该方法在 LeanDojo 基准 1,990 题子集上相对纯采样基线最多提升 32%,多解出 82 题且在 K∈{1,3,5,8} 各预算下均有效;首次修复尝试即贡献 84–96% 的总增益,并在 Lean Workbook 上近乎翻倍解题率且零回退。

  11. arXiv cs.AI28

    LLM 驱动的工业智能体:面向智能制造的综述

    arXiv 一篇综述系统梳理了 LLM 驱动的工业智能体在智能制造中的应用。文章分析了通用智能体直接部署面临的五大挑战,提出了涵盖应用场景、具身形式与五个能力层级的统一分类法,以及四层系统架构与闭环任务执行机制,并回顾工业全生命周期的代表性应用与未来研究方向。

  12. arXiv cs.AI29

    基于大语言模型与强化学习的自主建造与施工进度更新方法

    一项研究提出结合大语言模型与强化学习的自主建造方法:采用增强型 soft actor-critic 强化学习算法为移动起重机规划施工动作,并借助机器人运动学与控制算法保证动作可执行。系统还定制了嵌入模型按用户兴趣提取施工环境信息,并调用 ChatGPT 5 更新施工进度、向控制系统提供安全信息、生成进度报告。该方法通过多个全尺寸挡土墙建造实验验证了可行性。

  13. Hugging Face Daily Papers45

    多模态重排序是一种 System One 决策

    这篇立场论文提出,通用视觉语言模型(VLM)可通过 System One 决策直接充当多模态重排序器,无需专门训练:用一道选择题对第一阶段检索的 top 16 候选打分,从一次前向传播中读取各候选标签概率完成排序。

  14. Hugging Face Daily Papers44

    RiseHarness 框架:自进化方法提升长时程终端 Agent 可靠性

    论文提出 RiseHarness,一个在模型权重固定的情况下迭代改进终端 agent harness 的框架。它以同配置下成功与失败的运行为切入点,结合轨迹与运行时监控的 harness 内部追踪,生成 Harness Handbook 定位跨任务的共性问题,并从其他 harness 框架检索相关实现作为设计参考,经行为检查与重复任务评估后保留有实测增益的版本进入下一轮迭代。