跳到正文
10月15日周四
  1. arXiv cs.AI36

    首个基于 LLM 的 Levin Kt 超智能 C-test 基准发布

    研究者提出首个以 LLM 作为表示机器的 Levin Kt 测试,可生成难度以比特为单位、超越当前人类与前沿模型能力的高难度题目。该测试形式化了度量方法并搭建轻量级生成与认证流水线,首批认证题目已在 12 个 LLM 上测试,智能体特征曲线随难度下降,延伸至可认证却超出前沿智能的超智能窗口。

  2. arXiv cs.CL25

    LLM 智能体能否高效识别家电故障?来自模拟家电诊断的洞察

    研究者提出 CoffeeBench,一个用模拟家电测试 LLM 智能体故障诊断能力的任务。被测 LLM 难以仅凭传感器信息稳定识别故障,但表现最好的模型能迭代缩小故障选项空间并最终完成诊断。分析还发现,初始诊断不确定性和 LLM 评判的推理合理性是预测诊断成功的高信号指标。

  3. arXiv cs.CL22

    句法注意力头是否影响模型行为?

    研究发现,即便强制 Transformer 语言模型中专门处理句法关系的注意力头去关注干扰名词,模型的句法预测仍更符合主语而非干扰项。对句法专用头的干预在两项指标中仅有一项显著强于随机头干预,说明这些头对模型句法预测的因果作用证据有限。

  4. arXiv cs.CL22

    DualView:利用广泛与输出特定证据的 LLM 多输出文本回归方法

    DualView 是一种参数高效的多输出文本回归方法,先从冻结的 LLM 中提取广泛与输出特定的表示,再用双分支架构生成完整分数向量。在五个异构回归任务和八种 LLM(最大 122B)上,它超越七个监督回归基线,所需拟合参数比三个最强基线少 82–1842 倍,且用较小的开源 LLM 即可超过 Gemini 3.1 Pro 的无监督预测。

  5. arXiv cs.CL26

    Weighted Ensemble:面向语言模型稀有事件估计的免训练采样框架

    Weighted Ensemble(WE)是一个免训练框架,用于估计语言模型稀有但严重失败事件的概率。它只从原始语言模型采样,通过周期性将采样预算重新分配给更可能到达目标稀有事件的前缀,并利用 LLM 内部表示作为前缀级信号来指导分配,无需额外学习提议分布。在覆盖小规模与大规模 LLM 的安全相关任务上,WE 提升了稀有事件概率估计的效率与可靠性。

  6. arXiv cs.CL31

    从复制到组合:语言模型如何习得上下文学习能力

    研究用受控诊断任务区分"复制邻近示例"与"跨提示整合信息",在17个模型中约三分之一偏好复制答案,其余偏好规则一致答案且准确率更高。检查点分析显示,模型在准确率超过随机水平之前就已优先关注任务相关提示词。匹配训练实验中,先定义结尾再查询的合成文档使模型转向组合式回答,而基于改写真实文档的定义练习微调可在提示重新分配标签含义时提升准确率。

  7. arXiv cs.MA23

    人类与 AI 智能体在约定识别与量化中的"是什么"与"在哪里"

    研究提出"约定差距"指标,通过 Hanabi 卡牌游戏中可计算的出牌失败概率,将隐式约定从推断的失分原因变为可测量、可比较、可因果检验的对象。在两个独立收集的人类对局语料中,人类差距大于所有 off-belief learning 智能体层级(1-5),但人类优势集中在智能体未学会的情境:指向未触及卡牌的提示。约定使用取决于玩家对卡牌的已知信息而非提示新近度,且多用于中局。

  8. arXiv cs.MA26

    不确定性驱动的自博弈如何提升多智能体驾驶策略的鲁棒性

    研究提出一种不确定性驱动的自博弈方案:一半智能体因提升邻居的认知不确定性而获得奖励,另一半则学习安全驾驶,探索智能体借此自动挖掘困难场景,无需人工设计课程。所得策略零样本迁移至 nuplan Val14 达 99.12%(标准自博弈为 97.97%),Argoverse 2 达 82.39%(对比 78.03%),并在 Waymo 上优于标准自博弈。

  9. arXiv cs.MA31

    多智能体协作中概率通信优于动作通信:LLM 智能体如何传递校准不确定性

    研究发现,LLM 智能体团队协作时,通信校准后的动作概率比仅通信动作更有效,因为两个智能体可能因不同原因偏好同一动作,仅传动作会丢失决策相关的不确定性。在合成多轮推理和协作迷宫任务中,概率通信在预测保持校准不确定性时优于动作通信,但概率有偏时优势消失。一种事后对话校准干预能持续纠正偏差,改善 toy transformer 和预训练 LLM 的决策表现。

  10. arXiv cs.MA22

    CIPHEUR:LLM 引导的结构化搜索控制用于冲突图优化

    CIPHEUR 是一个 LLM 引导的框架,通过结构化干预单元(SIU)将冲突证据与协调干预及恢复连接,支持离线合成可执行策略与在线上下文决策。在八个卫星-地面调度冲突视图、每视图五次运行、900 秒评估上限下,CIPHEUR-online 在 11 种配置中取得最高平均目标值,平均调度接触时长较贪心基线 GWMIN 提升 14.84%,并在全部 40 次配对运行中优于 CHILS。

  11. RadarAI42

    MiniCPM-V 4.7 推测解码达 370 tok/s

    OpenBMB 的 MiniCPM-V 4.7(35B A3B)搭配 DSPARK Drafter 实现 370 tok/s 的推测解码速度,10 秒内生成 3,589 tokens,持续吞吐 370.0 tok/s、峰值突发 351.8 tok/s,TTFT 平均 0.30s。OpenBMB 称这是社区对推测解码极限的又一次突破。

  12. RadarAI71

    上海人工智能实验室团队用书生 S2 大模型完成三维 Ghys 猜想证明

    上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2,通过人机协同完成困扰数学界 30 余年的三维 Ghys 猜想证明。北京大学董彬、刘若川院士团队用 SHEAF 框架完成形式化验证,论文已发布于 arXiv,形式化代码开源在 GitHub(https://github.com/frenzymath/HolomorphicAnosov)。

  13. RadarAI34

    Chollet 称自主机器人需工程化因果推理,Aether AI 的 CRIS-0 正做此探索

    François Chollet 在 X 上表示,仅靠自回归采样无法解决真实世界物理任务,要实现真正的自主机器人,必须把因果性和离散推理重新工程化进整个循环。他点名 Aether AI 的 Biwei 团队正在做这类基础性、非共识的工作。该团队的 CRIS-0 系统会追踪任务关键条件、预测每个动作带来的变化,并在出现意外时重新规划。

10月14日周三
  1. RadarAI36

    Andrew Stellman 分析 AI 为何写出 Yoda 式倒装句

    Andrew Stellman 提出理论并用实验解释 AI 生成文本中 Yoda 式怪异句序的成因,认为是注意力与自回归两种机制共同作用,模型无法回头修改已生成的词。他发现事实以片段而非完整句子给出时更容易被直接贴在名词后面,而 AI 完全能识别并纠正这类句子,例如 ChatGPT 可将"pond"例句改写为自然语序。