跳到正文
10月16日周五
  1. MIT News · AI36

    MIT 团队用 AI 模型 IRIS 解码细胞通讯的"语言"

    MIT 团队开发出基于神经网络的模型 IRIS,可识别不同信号通路在细胞基因活动中留下的独特"指纹",并推断细胞在胚胎发育各阶段接收过哪些信号。该模型借助迁移学习,能对未见过的细胞类型作出预测,研究已发表于 Nature Methods。IRIS 预测的肺发育相关信号通路在小鼠胚胎实验中得到验证,有望加速干细胞工程与类器官建模。

  2. Apple Machine Learning Research26

    Apple 提出 SSR:基于选择的结构化推理,让多模态搜索智能体更高效

    Apple 提出 Selection-based Structured Reasoning(SSR)框架,将推理从开放式生成改为从预设自然语言候选推理中按似然度选择,无需辅助任务头,并借助共享上下文 KV cache 并行打分。在 2B 和 4B 模型、七个多模态搜索基准上,SSR 平均成功率与同规模领先搜索智能体相当,单轮推理延迟降低超 90%,每题模型总推理延迟降低 28–54%。

  3. Microsoft Research62

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

    微软研究院发布零知识虚拟机 Magnetar,可证明 Rust、Go、C 编译后的 RISC-V 程序执行,在 15 个基准程序上平均比现有最快的 zkVM 快 10 到 39 倍,证明验证约 12 毫秒。

    推荐理由:微软研究院公开 Magnetar 的设计与基准数据,可了解零知识证明在通用程序上的效率与密码学取舍。

  4. RadarAI48

    Microsoft Research 发布 zkVM 系统 Magnetar,比现有最快系统平均快 10 到 39 倍

    Microsoft Research 发布零知识虚拟机 Magnetar,可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序,在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍。在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令,证明约 12 毫秒内可验证,安全性只依赖 SHA-256 或 SHA-3 等标准哈希函数,无需受信任设置或椭圆曲线。

  5. The Decoder80

    GPT-6-Astra 在 TheoPhysEval 上解出 50 道物理研究题中的 49 道,单题约 2.40 美元

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

    推荐理由:读者可看到前沿模型在理论物理论文级计算上的实际得分、成本与失败模式,以及作者对科研训练与资源门槛的影响判断。

10月15日周四
  1. RadarAI39

    Google 与 CMU 论文提出 Harmony Harness,多目标进化让自改进智能体更好保留安全收益

    Google 与 Carnegie Mellon 的论文提出 Harmony Harness,将 agent harness 的自进化建模为多目标优化,把通过测试与阻断漏洞拆成不同目标分别进化,并在推理时按任务动态组合。在 SecRepoBench 未见崩溃类型上,66.7% 的修复既有效又阻断了漏洞,起始 harness 为 36.7%;安全收益保留 55%,DGM 基线为 0%。

  2. arXiv cs.AI32

    为什么软件工程在编码智能体时代不可或缺

    一篇被 Communications of the ACM 接收的论文认为,AI 编码智能体的崛起让软件工程和软件工程师变得不可或缺,而非被淘汰。论文指出大语言模型的三个结构性属性——概率生成、不可知论和语义无状态——造成了一个无法靠训练消除的结构性真空,填补它需要方法论知识、领域知识、设计选择与流程选择四类知识杠杆,且都须固化为持久工件。

  3. arXiv cs.AI24

    GraphOPD:面向 LLM 智能体的图增强在线策略蒸馏

    针对在线策略蒸馏按教师-学生散度大小分配监督信号在多轮决策中失效的问题,研究者提出 GraphOPD,首次将图结构增强引入面向智能体能力的在线策略蒸馏。该方法从环境状态变化记录中提取步骤依赖关系构建依赖图,用随机游走平稳分布为每步打分,并与散度信号融合成轨迹相对掩码。在 ALFWorld、WebShop、SearchQA 上跨三种模型规模和十一个基线,最高较最强基线提升 +5.8 pp。

  4. arXiv cs.AI20

    提升针对深度强化学习的可迁移对抗攻击

    该论文研究针对深度强化学习(DRL)的基于迁移的黑盒攻击,将攻击建模为每步扰动预算下的回报最小化问题。作者发现直接移植 FGSM、MI-FGSM、NI-FGSM 等图像分类攻击仅能产生与随机噪声相当的扰动,随后提出轨迹级攻击,通过可微环境模型和温度平滑代理策略在滚动时域上优化扰动序列。

  5. arXiv cs.AI27

    AVCE:面向扩散模型可验证概念擦除的审计感知遗忘框架

    针对文本到图像扩散模型的概念擦除方法,研究提出 AVCE 框架,将擦除锚定在模型潜空间中,审计每个概念的嵌入邻域并将脆弱方向压缩为锚点,再以闭式解编辑交叉注意力和自注意力投影。在 SD v1.5、SDXL 和 Flux 1.0 上,AVCE 将攻击成功率降低 5.07 倍、审计分数提升 3.84 倍,同时保持生成质量。

  6. arXiv cs.AI31

    ULTRADISCOVERY:互联、认知开放宇宙中的溯因探索

    研究者提出 ULTRADISCOVERY,一个含五个领域的交互式世界,用于考察智能体在认知开放与结构互联条件下的溯因探索能力。在 2×2 设计中,表征开放时十一个模型常撤回被教授的公理,且无一引入未观测实体或重写变量;披露表征使干预请求增至三倍。没有任何系统能在 200 次付费动作内做出精确预测,更大预算下仅两种辅助同时具备时才出现一次精确预测。

  7. arXiv cs.AI24

    CORE:覆盖校准的 KV 保留与补偿,统一长上下文解码的保留与补偿双通道

    CORE 通过一个校准分布同时驱动 KV 保留与补偿两个通道,在 90% 压缩率下于三个骨干模型上最高超过最强 RULER 基线 3.78 分。该方法将查询效用与对数行列式覆盖的离线分配蒸馏为轻量缓存感知索引器,推理时无需单独的写入权重预测器或在线对数行列式评估。LongBench 与重复驱逐评测进一步验证了其有效性与解码效率。

  8. arXiv cs.AI26

    ViTeX-Bench:高保真视频场景文本编辑基准发布

    ViTeX-Bench 是一个面向视频场景文本编辑的基准套件,包含 387 个真实 720p 视频(230 个配对编辑用于训练、157 个冻结评测集)和覆盖文本正确性、视觉时序质量、编辑局部性的 13 项指标三轴评测协议。团队同时开源 ViTeX-Edit-14B 参考编辑器,在配对训练集上微调并采用运动对齐的字形-视频条件,CharAcc 达 0.688,为所评测视频原生编辑器中最高均值。

  9. arXiv cs.AI30

    TacEx:触觉好奇心驱动机器人交互

    研究团队提出 TacEx 框架,将触觉反馈引入基于认知不确定性的探索机制,通过按感官模态分解模型不确定性,把好奇心导向触觉通道。该方法让机器人在无任务奖励和专家演示下发现复杂接触动力学并学会抓取,其采集的交互密集数据集可支持离线学习 pick-and-place 策略,还能对预训练时未接触触觉的 VLA 模型进行后训练,显著提升下游性能且样本效率高。

  10. arXiv cs.AI26

    Ready2Blend:从自然语言指令到可组合对齐提示词

    Ready2Blend 将自然语言指令与学习式对齐结合,通过 AlignFormer 把每条需求映射为存入模块化提示词库的定长对齐提示词,主干与已有提示词保持冻结。其可组合性正则化将文本需求的语义几何迁移到提示词空间,支持推理时混合与重加权。在两种持续对齐设置下,它是唯一匹配后训练对齐方法的冻结主干方案,达到联合训练参考的 93.1%-98.5%,训练时间最多减少 4.3 倍。

  11. arXiv cs.AI20

    用空间局部依赖替代条件独立假设:图像分割的 RankSEG 改进方法

    针对 RankSEG 依赖条件独立假设(CIA)而忽略标签相关性、在低对比度场景下性能下降的问题,研究者提出用空间局部依赖(SLD)结构替代 CIA,并配合互易矩近似与不动点优化策略,将复杂度从 O(d³) 降至 O(d log d)。新算法在多个分割基准上持续优于传统 argmax 和基于 CIA 的 RankSEG,在低对比度或小目标场景提升显著。

  12. arXiv cs.AI12

    无需名义词的本体论论证证明:Gödel 本体论论证的浅层嵌入与 Monatshefte 笔记未解问题

    研究证明 Benzmüller 与 Scott 关于 Gödel 本体论论证的浅层嵌入中,294 条显式证明均未使用混合逻辑的名义词或满足算子,全部经机器验证。文章还以非退化方式限制合取公理,重新解决了笔记遗留的三个开放问题,其中一个变体下该限制反驳了上帝类存在者的可能存在。所有定理均在 Isabelle/HOL 与 Lean 4 中独立验证,反模型由 Nitpick 生成并经构建检查。