ScientistOne:通过证据链实现人类水平的自主研究 ScientistOne: Towards Human-Level Autonomous Research via Chain-of-Evidence
提出证据链框架确保AI研究可验证性,ScientistOne实现零幻觉引用和完美分数验证
前置知识
证据链
CoE 框架要求每个研究主张都必须通过记录的证据链追溯到其来源,包括引用、数值、方法论和结论四种主张类型。类似数据库 ACID 属性定义了可靠性的标准。
这是本文的核心理论贡献,理解证据链概念是理解整个 CoE 框架和 ScientistOne 系统设计的基础。论文将可验证性从可选指标提升为设计约束。
自主研究代理
能够执行完整研究工作流的 AI 系统,从文献综述和假设生成到实验设计和执行,再到论文撰写。现有系统如 AI Scientist-v2 已能产生竞争性解决方案和可接受的论文。
理解自主研究代理的多阶段流水线架构和错误放大机制是理解它们为何普遍存在证据链断裂问题的前提。论文审计揭示所有现有系统都有系统性失败模式。
CoE 完整性审计
事后审计方法,包含四个完整性检查:I1 分数验证重新运行解决方案并比较分数;I2 规范违规检测代码是否破坏规则;I3 引用验证通过学术 API 检查引用是否存在;I4 方法-代码一致性判断论文是否如实描述代码。
这是论文提出的事后验证工具,使得不同自主研究系统的输出可以在同一标准下进行公平比较,揭示了 ScientistOne 与基线系统在完整性方面的巨大差距。
研究动机
现有自主研究系统生成的输出包含无法通过仅评估表面呈现而非证据基础的评估协议检测到的可验证性失败:虚假引用、不可复现的分数、与实现不符的方法描述。在作者对五个自主研究系统跨五个前沿研究任务的 75 篇论文的系统审计中发现,每个基线系统都表现出至少一种系统性失败模式:幻觉引用率高达 21%,DeepScientist 的 42/201 即 20.9%,分数验证通过率低至 42%,AutoResearchClaw 和 Sakana AI-Scientist v2 的 5/12,方法-代码一致性范围从 20%,AutoResearchClaw 的 3/15 到 80%,AI-Researcher 的 12/15。这些失败有共同根源:没有现有的评估协议审计主张是否被支持,没有现有的自主研究系统设计用于将主张追溯到证据。在自主流水线中,这些失败模式会相互作用并复合——模型可能过度描述超出代码实现范围的方法,报告在基准自己的评估器下无法复现的分数,从参数化内存而非检索填充参考文献,同时生成在技术上听起来合理的文本。
本文的目标是本文的具体目标是解决可验证性差距。首先提出 Chain-of-Evidence 即 CoE,一个要求每个主张可追溯到其证据源的可验证性框架。其次设计 ScientistOne,一个端到端的自主研究系统,在文献综述、方案发现和论文写作过程中通过构造维护证据链。第三开发 CoE 完整性审计,一个事后审计,其四个完整性检查包括分数验证、规范违规、引用验证、方法-代码一致性统一应用于所有系统。作者希望证明端到端流水线可以在不牺牲求解器竞争力的前提下维护证据链,并且 CoE 完整性审计为审计任何系统的输出提供可重用的程序。
与已有工作不同的是,本文的独特切入角度是将可验证性提升为第一类设计约束,而非事后可选的验证指标。现有工作侧重于扩展自主性前沿如更好的算法、更强的代理、更复杂的流水线,而验证和来源机制的扩展速度跟不上。大多数基准衡量发现性能即系统能否产生竞争性解决方案,而不是结果主张是否实际得到证据支持。CoE 与现有工作在两个方面不同:它在单个主张层面定义可验证性即每个必须通过完整研究制品追溯到基础来源,并且它联合覆盖论文、代码和评估器日志,而不仅仅是文本。论文将 CoE 实例化为三个部分:CoE 标准即主张分类学和每种类型所需的证据链结构、ScientistOne 即原生满足 CoE 的端到端系统和 CoE 完整性审计即测量任何系统制品满足标准程度的事后审计。
核心方法
方法整体思路是将可验证性作为架构设计的核心约束,而非事后添加的验证步骤。CoE 框架的直觉是:就像违反 ACID 的数据库可能返回外观合理的查询结果同时静默破坏数据一样,违反 CoE 的研究系统可能产生外观合理的论文但其主张无法追溯到证据。论文遵循 ACID 的类比,ACID 不规定如何构建数据库,而是规定数据库必须具有什么属性。同样,CoE 不规定系统应如何构建研究制品,而是规定可验证制品必须具有什么属性。技术路线上,论文首先定义 CoE 标准,包括四种主张类型及其证据链结构;然后设计 ScientistOne 系统,其三阶段架构专门设计以原生满足 CoE;最后开发 CoE 完整性审计,包含四个完整性检查,可在事后评估任何系统的输出。ScientistOne 的每个模块都设计为产生结构化制品,这些制品携带将主张与证据进行验证所需的原数据。
核心创新点是 CoE 框架本身的提出,它将可验证性从可选的验证指标提升为第一类设计约束。与现有系统在生成后尝试重建基础不同,ScientistOne 通过构造维护证据链——在每个主张产生时就记录其来源。另一个关键创新是 CoE 完整性审计,它提供了一种跨系统公平比较的方法。审计是法医学的:它仅使用提交的制品运行,对每个系统应用相同。四个完整性检查针对主张可能失去其基础的具体方式:I1 分数验证重新运行解决方案并比较结果;I2 规范违规检测代码是否破坏任务规则;I3 引用验证通过学术 API 检查引用是否存在;I4 方法-代码一致性判断论文是否如实描述代码。对于像 ScientistOne 这样在写入时发出结构化来源记录的系统,可以进行额外的原生检查即数值 CPR。这种法医学审计加上原生检查的组合使得系统能够在可验证性方面进行公平比较。
方法步骤详情
方法分为三个主要部分。第一部分是 CoE 标准的定义:论文定义了四种主要主张类型,每种都有所需的证据链形状。引用主张要求引用的作品存在于学术数据库中,并且其内容与论文中的描述一致。数值主张必须从报告的值追溯到记录的输出如执行日志、实验测量或模拟结果。方法论主张必须从方法描述解析到相应的实现。结论主张必须通过可验证的推理从支持主张,数值、方法论或两者推导得出。CoE 是故意架构无关的:它定义可验证制品应该具有什么属性,而不是系统应该如何构建一个。第二部分是 ScientistOne 系统的设计:它采用三阶段架构。阶段 1 文献基础化:Problem Investigator 即 PI 确保系统引用的每篇论文都从学术数据库检索、全文阅读并记录来源原数据。PI 从种子论文开始,通过学术数据库查询构建引用图,每个主题读取多达 100 篇全文 PDF,产生结构化研究简报。简报供给 Ideator,PI 的种子参考参考文献为最终论文中的引用主张提供基础材料。阶段 2 发现:Ideator 基于 PI 简报生成候选方法,在新颖性和可行性上评分,并将排名靠前的提议分配到 Parallel Explore-Exploit 即 PEE 编排器的并行分支。每个分支运行隔离循环:Solver 代理迭代多达 E 个评估版本,每个提交由任务特定评估器评分。每次迭代保留前 K 分支,其余槽位通过从这些顶级执行者派生的新分支填充。阶段 3 论文写作与验证:Paper Writer 通过五阶段主张基础化流水线产生 LATEX。Conceive 读取所有组装的原材料并发出研究表示——每个事实主张都带有内联证据标记将其绑定到特定工作空间制品的 markdown 叙述。Ground 确定性验证每个标记:报告的分数必须匹配发现阶段的最佳运行分数,基线必须可追溯到 PI 简报条目或标记估计,每个引用制品必须存在。Critic 审计确定性检查无法捕捉的内容——差距-方法对齐、内部矛盾、过度声明、缺失比较和基线公平性。Resolve 根据 Ground 标志和 Critic 问题共同重写表示,删除不支持的主张并校准过度声明。Ground-Critic-Resolve 循环迭代直到收敛或平稳。最后 Compose 将基础化的表示一次渲染一个部分到 LATEX。即使基础化后,组合的 LATEX 也可能引入不支持的主张。Claim Verifier 通过检查草稿中每个主张与其声明的证据源来捕捉这些。细化阶段消耗验证者的发现:LLM 重写标记句子以匹配其证据源,删除无法支持的主张,并从最终 LATEX 中剥离所有内联证据注释。只有没有剩余阻止违规的草稿才被提升到最终论文。第三部分是 CoE 完整性审计:适配器统一每个系统的交付物包括 paper.tex、解决方案代码、references.bib 到通用制品包,然后四个检查独立运行,每个针对主张可能失去其基础的具体方式。
技术新颖性
技术新颖性体现在多个方面。首先,CoE 框架本身是一个理论创新——它首次系统性地定义了研究可验证性应该是什么样子的。就像 ACID 为数据库事务定义了可靠,CoE 为研究主张定义了可验证。这种抽象使得可验证性成为可设计、可验证和可比较的属性。其次,ScientistOne 的架构创新在于它通过构造维护证据链。现有系统的代码生成和论文写作通常是断开的阶段如 AutoResearchClaw 的 23 阶段瀑布架构,导致论文写作代理发明算法名称并基于实验元数据描述方法,而无法访问求解器的实际逻辑。ScientistOne 的 Ground-Critic-Resolve-Compose 流水线和 Claim Verifier 确保每个主张都有可追溯的来源。第三,CoE 完整性审计的方法论创新在于它提供了法医学的跨系统审计能力。四个完整性检查针对最损害的证据链失败,并且对每个系统应用相同,这使得不同系统可以在同一标准下进行比较。审计的自适应容差机制考虑了评估器噪声,使结果更加可靠。最后,论文进行了大规模系统审计即 75 篇论文来自五个系统跨五个任务,这是首次跨多个自主研究系统的可验证性比较研究,揭示了所有现有系统都存在证据链失败的问题。
实验结果
核心发现来自三个层面。首先是 CoE 审计结果:在五个系统各 15 篇论文的审计中,ScientistOne 是唯一在所有四个检查中领先的系统:完美分数验证即 12/12 100%、零规范违规即 0/15、零幻觉引用即 0/337、最高方法-代码一致性即 14/15 93%。基线系统表现各异:Sakana AI-Scientist v2 分数验证 5/12 即 42%、规范违规 10/15 即 67%、引用验证 0/159、方法-代码一致性 5/15 即 33%;AutoResearchClaw 分数验证 5/12 即 42%、规范违规 0/15、引用验证 3/196 即 1.5%、方法-代码一致性 3/15 即 20%;DeepScientist 分数验证 11/12 即 92%、规范违规 0/15、引用验证 42/201 即 20.9%、方法-代码一致性 5/15 即 33%;AI-Researcher 分数验证 9/12 即 75%、规范违规 1/15 即 6.7%、引用验证 21/222 即 9.5%、方法-代码一致性 12/15 即 80%。差距最大在引用完整性和方法-代码一致性——这两个检查测试证据来源而非分数复现。Sakana 的 BFTS-ADRS 设计不匹配混淆了 I2 和 I4,因此在跨系统比较时这两个检查应排除 Sakana。I1 和 I3 仍然有效。分数验证失败的根因分析揭示了两种主导模式:跨阶段分数挑选即 Sakana 7 个失败中 4 个和环境依赖调整即 Sakana 7 个失败中 2 个。其次,原生主张证明率结果:ScientistOne 发出结构化来源记录,因此可以进行额外的原生检查。数值 CPR 测量定量主张是否追溯到实验证据。验证者从 15 篇论文提取 639 个数值主张,其中 627 个通过即 98.1%。12 个失败主要是提取启发式的假阳性:硬件常数解析为实验主张如 80GB GPU 匹配无关日志行、LaTeX 数学下标提取为数字、方法论部分描述的超参数值。人工检查发现 12 个中最多 2-4 个真正不匹配,修正后的数值 CPR 约 99%。第三,ScholarPeer 评审分数结果:ScientistOne 实现 40% 接收率即 6/15,是最佳基线即 AIR:13% 的 3 倍,最佳-3 选择达到 6.6 总体评级分数和 4/5 任务被接收。这种差距不是由更好算法驱动即求解器分数在系统间紧密聚类,而是由求解器完成后发生的事情驱动。Claim Verifier 防止了被拒论文中最损害的失败模式:与论文自身数据矛盾的主张如结果表报告 7.9 ms 时声称亚毫秒延迟。论文质量瓶颈是研究健全性,而非写作能力。在所有系统中,Clarity 始终是最高评分维度即 2.5-3.1,而 Soundness 是最低即 1.1-2.3:这些论文读起来很好,但经不起方法论审查。ScientistOne 也表现出高种子方差如 EPLB 在同一任务上三个种子得分为 1、3、8:被拒运行是论文写作生成当前验证覆盖范围未完全捕捉的主张如过度定性框架接近最优而非数值可 falsifiable 声明。被拒运行从相同基础数据做出校准声明,表明将验证覆盖扩展到定性主张将减少这种方差。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| Prism | 得分(越高越好) | 26.26 | Human 21.89 | +20% |
| Cloudcast | 成本(越低越好) | 618.08 | Human 626.24 | -1.3% |
| EPLB | 得分(越高越好) | 0.1459 | Human 0.1265 | +15.3% |
| LLM-SQL | 命中率(越高越好) | 0.7222 | Human 0.6920 | +4.4% |
| TXN | 吞吐量(越高越好) | 3906 | Human 2724.8 | +43.3% |
| 3D Object Detection (MLE-Bench) | 得分(越高越好) | 0.1763 | DeepScientist 0.0000 | 金牌(DeepScientist 完全失败) |
| RSNA Brain Tumor (MLE-Bench) | 得分(越高越好) | 0.6518 | DeepScientist 0.6377 | 金牌 |
| Parameter Golf | 得分(越低越好) | 1.0600 | SOTA (as of 2026-04-27) | SOTA(满足所有约束,DeepScientist 超过 16MB 大小限制) |
局限与改进
作者承认的局限性包括:基准覆盖有限,当前实验集中在系统优化任务即 ADRS,其中黄金标准评估器使分数验证和规范违规检测简单明了。开放领域如生物学、材料科学、理论 ML 提出更难挑战:证据链可能涉及湿实验室协议、模拟可复现性或证明草图,每个需要领域特定验证逻辑。扩展 CoE 到这些设置是自然的下一步,虽然核心抽象即通过类型化来源记录链接到证据的主张应该转移。参考验证深度有限:当前的引用验证检查引用作品是否存在——已经捕捉到令人惊讶数量的失败的必要条件。然而,存在远非充分:真实引用仍然可以用于支持引用论文从未做出的主张。完整引用验证需要段落级自然语言推断对抗引用论文的文本,有效地问这个来源实际上是否说明了引用论文声称它说明的内容?这是学术 NLI 中的已知开放问题,留给未来工作。自动评审作为代理:ScholarPeer 作为评审质量的可扩展代理但不替代人类专家评估。LLM 评审者系统性地对某些失败模式盲目如领域特定分数解释、规范违规检测。CoE 完整性审计解决了一些盲点但它本身限于结构完整性,而非科学新颖性或意义。基线比较公平性:作者在尽可能统一的条件下将四个开源系统适应到 ADRS——相同模型骨干、匹配时钟限制、每个任务三个种子。没有第三方系统为 ADRS 设计,适应不可避免涉及判断调用。作者倾向于慷慨如给 ARC 6.7 倍其默认迭代预算,重新运行基础设施崩溃但从不重新运行以提高分数,但无法排除系统的原始作者通过更深调整实现更好结果。跨系统比较应读作给定善意、平等资源适应而非确定系统排名。审计假阴性:所有 I1-I3 标记阳性由人类评审者手动验证,确保报告的完整性失败是真实的即无假阳性。然而,作者没有系统边界假阴性:审计检查失败检测的完整性失败肯定存在,所有系统的真实失败率可能高于报告。对于 I4 即方法-代码一致性,人类评审者验证了 LLM 判断的样本,但报告的结果反映多数投票分数而无系统校正。这是任何有限审计协议的固有限制,而非 CoE 完整性审计特有。基准范围和深度:ADRS 任务将系统研究问题减少到单指标优化——提交求解器,接收分数。真实系统论文涉及问题制定、工作负载表征、多数据集分析和部署权衡,论文流水线不尝试这些。结果,ADRS 上的竞争求解器性能不应等同于竞争系统研究。扩展到多基准合成和更深实验分析——其中系统推理为什么解决方案有效,而不仅仅是它是否得分好——是自然下一步。
独立分析的弱点
独立分析的弱点首先是验证覆盖范围有限,当前 CoE 完整性审计只覆盖四种可自动化验证的主张类型包括数值、引用、方法论、结论。还有许多其他类型的主张如定性观察、理论属性、因果关系需要领域专业知识或更难自动化的主观判断。改进方向是扩展验证覆盖到更多主张类型,例如通过领域专家评审或更先进的 LLM 评审。其次是审计本身的假阴性问题。论文只验证了 I1-I3 标记阳性的真实性,但没有系统边界假阴性率。这意味着可能存在审计未检测到的完整性失败。改进方向是开发更强大的审计检查或进行更全面的手动审计以建立假阴性边界。第三是验证器的过度保守性可能导致被拒论文。ScientistOne 表现出高种子方差如 EPLB 得分为 1、3、8,被拒运行是论文写作生成当前验证覆盖范围未完全捕捉的主张如过度定性框架。改进方向是扩展验证覆盖到定性主张,使被拒运行能够做出与被接收运行相同的校准声明。第四是基线适应的公平性问题。虽然作者试图平等适应所有系统,但没有第三方系统为 ADRS 设计,适应不可避免涉及判断调用。改进方向是与原始系统作者合作进行更深入调优,或开发更系统的适应协议以减少判断调用的空间。最后是方法的扩展性挑战。论文证明了 CoE 在 ADRS 任务上的有效性,但扩展到开放领域如生物学、材料科学、理论 ML 需要领域特定验证逻辑。改进方向是开发领域特定的 CoE 扩展或与领域专家合作定义这些领域的证据链结构。
未来方向
作者提出的未来工作方向包括:扩展基准覆盖以验证 CoE 的领域无关性。当前实验集中在系统优化任务即 ADRS,其中黄金标准评估器使分数验证和规范违规检测简单明了。开放领域如生物学、材料科学、理论 ML 提出更难挑战:证据链可能涉及湿实验室协议、模拟可复现性或证明草图,每个需要领域特定验证逻辑。扩展 CoE 到这些设置是自然的下一步。完整参考验证:当前的引用验证只检查引用作品是否存在,但真实引用仍然可以用于支持引用论文从未做出的主张。完整引用验证需要段落级自然语言推断对抗引用论文的文本。这是学术 NLI 中的已知开放问题,留给未来工作。扩展验证覆盖:当前 CoE 框架覆盖四种主张类型如引用、数值、方法论、结论,但这些不是详尽的。其他类型如定性观察、理论属性需要领域专业知识或更难自动化的主观判断。扩展到这些类型是自然方向。基于成果可延伸的未来方向包括:实时验证而非事后审计。当前 CoE 完整性审计是法医学的——它在完成论文后运行。另一个方向是在论文生成期间实时验证,在主张产生时就检查其支持,阻止不支持的主张进入草稿。多基准合成和更深实验分析:ADRS 任务将系统研究问题减少到单指标优化。真实系统论文涉及问题制定、工作负载表征、多数据集分析和部署权衡。扩展到多基准合成和更深实验分析——其中系统推理为什么解决方案有效,而不仅仅是它是否得分好——是自然下一步。与人类专家协作的混合系统:ScientistOne 在 ADRS 任务上匹配或超过人类专家性能,但现实世界研究需要人类专家的领域知识和判断。开发与人类专家协作的混合系统,其中 AI 代理处理重复性任务如文献检索、实验执行、论文写作而人类专家提供高层指导和领域专业知识,是有前途的方向。透明度和问责机制:随着 AI 生成的研究论文数量增加,开发透明度和问责机制变得越来越重要。CoE 框架和 CoE 完整性审计已经提供了结构完整性验证,但还需要机制来验证科学新颖性和意义,并建立问责链以确保 AI 生成的研究可以追溯到其源头。
复现评估
复现评估:论文提供了项目网站即 https://scientist-one.github.io/,但没有在论文中明确说明代码和数据是否开源。CoE 完整性审计本身是可复现的,因为它是法医学的——只使用提交的制品运行,对每个系统应用相同。审计结果的可复现性取决于几个因素:第一,ADRS 评估器的随机性。论文运行每个评估器五次并比较到自适应容差以考虑内在评估器方差。第二,LLM 评审的噪声。论文使用多数投票以减少 LLM 判断噪声。第三,人工验证的可靠性。所有 I1-I3 标记结果由人类评审者手动验证,确保报告的完整性失败是真实的。ScientistOne 系统的复现性取决于其架构的透明性和实现的可用性。论文详细描述了三阶段架构和每个组件的工作原理,但没有提供实现细节。论文还详细描述了基线系统的适应过程,但适应涉及判断调用,完全复现可能需要原始系统作者的输入。算力要求:论文没有明确报告算力要求,但实验涉及运行五个系统各三个种子在五个任务上,每个运行包括代码生成、执行和论文写作。使用 Gemini 3.1 Pro 作为骨干 LLM,这意味着需要大量计算资源进行 LLM API 调用。复现难度:中等。CoE 完整性审计本身相对容易复现,因为它只使用提交的制品。但完整复现实验需要适应所有基线系统到 ADRS 并运行完整 ScientistOne 流水线,这是相当复杂和资源密集的。
论文图表