跳到正文

#论文/研究

今日 11 条
今天10月16日周五
  1. Latent Space78

    Goodfire 称智能体分析推翻多义性假设,多数神经元可读

    Goodfire 的 Nick Cammarata 发布文章提出“神经网络本已干净”,认为多数神经元可读,许多著名的多义性与叠加案例属于误读,其 2023 年在 OpenAI 的自动可解释性工作当时仅约 2% 神经元可读。

    推荐理由:Goodfire 提出多数神经元可读、多义性多属误读,并汇总 Muse Spark Open 等模型发布与推理系统进展。

  2. arXiv · cs.AI62

    Diviner:Meta 提出人工治理自适应的智能体根因分析系统

    Meta 提出智能体根因分析系统 Diviner,围绕编码、执行、评估、自适应四阶段可靠性生命周期组织,用经过审核的事故语料和服务负责人经验生成带版本范围的技能、工作流、类型化工具与事故知识图谱。

    推荐理由:Meta 的智能体 RCA 系统论文,讲清四阶段可靠性生命周期如何用人工审核约束运维知识更新。

  3. arXiv · cs.AI71

    Athanor:让智能体自主完成后训练研究的系统

    论文提出 Athanor,一个面向自主后训练研究(AutoPostTrain)的 agent-native 系统,让智能体在真实 GPU 上自行读取数据集与评测结果、构建训练数据、修改训练算法并调参。

    推荐理由:论文展示四个 Claude Opus 5.5 智能体在 104 小时内自主完成 Qwen3-4B-Base 的后训练,结果接近官方 instruct 版本。

  4. arXiv · cs.AI66

    MAI-Gym:面向移动与桌面环境的 GUI 智能体评测与 RL 训练一体化平台

    MAI-Gym 是一个开源一体化平台,把移动、电脑和网页环境下的 GUI 智能体评测、数据采集与在线 RL 训练统一到同一条 rollout 流程中,支持十项既有基准并扩展到 20000 个并行环境实例。

    推荐理由:统一 GUI 智能体的评测、数据合成与在线 RL 训练平台,并给出 9B 模型在移动与桌面基准上的结果和模拟到真机的迁移数据。

  5. arXiv · cs.AI60

    可移植技能实现 Agentic RAG:客服场景部署案例研究

    论文报告一个客服场景的部署案例,用可移植技能替代复杂 RAG 栈,该技能由自然语言指令、轻量工具(检索 API、格式检查脚本)和带 LLM 生成导航层的语料组成,导航层是文档之上的 Wikipedia 式结构化索引。

    推荐理由:客服场景的部署案例,用可移植技能替代复杂 RAG 栈,给出等价率与延迟数据,并说明适用边界。

  6. Microsoft Research62

    微软研究院发布 Magnetar:基于证明的通用计算 zkVM

    微软研究院发布零知识虚拟机 Magnetar,可证明用 Rust、Go 或 C 编写的程序执行过程,并生成约 12 毫秒即可验证的短证明。它在笔记本上每秒可证明 720 万至 870 万条 RISC-V 处理器指令,在 15 个基准程序上平均比现有最快的 zkVM 快 10 至 39 倍,在代币转账基准上比另外两个系统快 300 倍以上。

    推荐理由:微软研究院发布 zkVM 系统 Magnetar,用标准哈希函数证明 Rust、Go、C 程序执行,速度较同类系统提升 10 至 39 倍。

  7. Hacker News · Front Page83

    神经网络本就是干净的:一项对叠加假说的重新检验

    作者在数月研究图像与语言模型神经元后提出,此前被视为多义性与叠加假说的典型证据多被误读,网络把概念任意打包的现象主要是递归泛化,即神经元沿多个方向生长出相关分支。

    推荐理由:作者用图像与语言模型的神经元实验反驳叠加假说,提出递归泛化解释,并给出可复现的观察方法。

  8. The Decoder83

    GPT-6-Astra 在理论物理基准中解出 50 题中的 49 题,单题成本不到 3 美元

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

    推荐理由:一份理论物理论文基准显示,GPT-6-Astra 在 Codex 中解出 50 题中的 49 题,单题成本不到 3 美元,并讨论了 AI 对物理研究训练与资源分配的影响。

10月15日周四
  1. Ars Technica · AI62

    研究者用 AI 设计可切割其他蛋白的酶

    研究者用基于 AI 的蛋白设计工具,保留两类蛋白酶起催化作用的核心,替换掉蛋白其余部分,得到可定向把特定蛋白切成两半的酶。他们用这些酶切割与神经系统疾病相关的蛋白,验证了其有效性。研究者的做法相当于跳过了蛋白酶自然演化中催化核心之外的多样化过程。

10月14日周三
  1. The Verge · AI62

    Anthropic 警告自我复制 AI 风险,实验把 Gemma 4 拆到 15 台电视盒上运行

    Anthropic 本周发布博客称,小型 AI 模型可能再过数月就具备自我复制能力。其研究把 260 亿参数的 Google Gemma 4 拆分到 15 台 Android 智能电视盒上运行,速度很慢但成功,并在模拟 Android 设备网络中让 AI 蠕虫自动寻找新机器、复制模型并启动,只有中国智谱的 GLM-5.2 能扩散到整个网络。

10月13日周二
  1. 量子位78

    Anthropic 安全实验:GLM-5.2 在隔离网络实现端到端自主复制

    Anthropic 两位研究员 William Zhou 和 Daniel Freeman 的安全实验显示,GLM-5.2 在含 8 个 GCP 节点的隔离沙盒中,5 次测试有 4 次自主攻陷并部署全部 8 台设备,另 1 次拿下 7 台,全程自主完成扫描、渗透、传输权重和部署 Llama3.1-8B 推理服务。

    推荐理由:Anthropic 安全实验显示 GLM-5.2 可在隔离网络自主复制并部署推理服务,还记录了代际经验传递带来的成功率提升。

  2. Hacker News · Front Page78

    Anthropic 研究:小模型或可在无数据中心条件下自我复制

    Anthropic 发布研究,把自主复制拆成寻找目标、获取执行、建立推理、继续传播四步,重点测试小模型能否在陌生硬件上部署推理。实验中 Gemma4-26B-A4B 分布在 15 台约 55 美元的杂牌 Android TV 盒子上运行,速度约 0.39 tokens/s;9B 模型在 9 类硬件中的 8 类成功跑起推理。

    推荐理由:Anthropic 用 15 台廉价 Android TV 盒子跑通 26B 模型分布式推理,并实测小模型自主复制的各环节能力边界。

10月12日周一
  1. Hacker News · Show HN65

    Closed Form 上线:用白话解释 OpenAI 模型的 372 项数学结果

    Closed Form 是一个把 OpenAI 模型产出的数学结果用白话解释的网站,覆盖 2026 年 9 月 10 日至 10 月 7 日发布的 719 篇论文,合并相关论文后得到 372 项结果,其中 172 篇附有 Lean 形式化证明,目前已解释 128 项。页面按数论、代数与复几何、理论计算机科学等 17 个领域分类,每项结果标注形式化证明状态,并给出结论含义与可信程度。

  2. The Decoder88

    Google DeepMind 的 AlphaProof Nexus 解出多个开放数学问题并登上 Science

    Google DeepMind 的 AlphaProof Nexus 独立解出多个开放数学问题,相关研究发表在 Science 上。它解出 353 个 Erdős 开放问题中的 9 个,其中两个已悬置 56 年,还证明了 OEIS 整数序列数据库中的 44 个猜想、解决了一个代数几何开放问题,并改进了 min-max 优化中的一个已知界。

    推荐理由:DeepMind 的 AlphaProof Nexus 在 Science 发表,独立解出多个悬置数十年的开放数学问题,并罕见地走完同行评审流程。

  3. arXiv · cs.AI62

    LongHarness:用状态化证据管理让智能体推理百万级 token 语料

    LongHarness 是一个模型无关的 harness,通过证据与结论协同演化机制,用未解决的结论引导检索、用新证据修正结论,并配合证据生命周期管理保持证据可追溯。

    推荐理由:提出模型无关的 harness,把已获取证据与结论显式分离管理,在多个长上下文基准上大幅提升精确匹配率。

  4. 量子位78

    何恺明团队发布多模态 Harness 框架 VISTA

    何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生 Harness 框架 VISTA,让现有多模态模型直接观察环境、保存原始画面,并在推理时随时回看、放大和检查细节,无需从头训练。

    推荐理由:何恺明团队提出视觉原生 Harness,让现有多模态模型保存原始画面并按需回看,无需重新训练即可提升交互式视觉推理表现。

  5. The Decoder71

    研究:AI 智能体团队耗费大量 token,质量提升却几乎测不出

    评测公司 Vals AI 在 Vibe Code Bench 上测试 GPT-6 Sol 和 Claude Opus 5.5,分别以单智能体和团队形式在中等与最高推理强度下运行,团队成本是单智能体的 1.8 倍到 5.1 倍,四次对比中只有 GPT-6 Sol 在中等推理强度下出现统计显著提升,高出 7.3 分,最高推理强度下团队设置对两个模型都没有实际优势。