研究提案

反向假设生成:用已有论文倒推研究课题,构建科学推理中训练数据

自动化科研的数据飞轮方案:从真实论文反向生成课题假设,再正向推导完整研究过程,以「可验证的参照物」闭合评估,过程轨迹直接注入中训练,系统性提升模型科学推理能力。

自动化科研 反向假设生成 科学推理 中训练数据 数据飞轮 AI科研 论文生成

核心想法一句话

从已有论文反向提取研究课题,再让模型正向推导完整研究过程,产出的论文与原论文直接比较——过程中产生的所有推理轨迹,作为高质量科学推理数据注入中训练。


引言:三类数据,三种增益,对应「能独立做科研的模型」

训练一个真正具备科研能力的模型,需要三种能力,对应三类完全不同的训练数据:

① 科学推理链(本方案核心)

预训练语料里的论文,记录的都是写好的结论,推理过程是隐藏的。模型从中学到的是知识,不是推导过程。反向假设生成把这个隐藏过程显式化——在有限信息下,如何系统性地分解问题、形式化假设、推进到结论。模型学到的是「怎么推导」。

② 知识边界感知(系列论文聚合,变体B)

比推导一个给定问题更难的是:判断「什么问题值得推导」。从一批论文里识别已解决的问题和仍然 open 的 gap,判断下一步哪个方向最有价值——这是研究员最核心的元认知能力,现有数据几乎完全缺失。模型学到的是「推导什么值得」。

③ 实验思维——可证伪性(有代码的执行闭环)

纯文本推导的致命问题:模型可以「自说自话」,假设合理、推导连贯,但和现实完全脱节。有执行反馈之后,模型必须面对一个现实:结果跑出来不对,说明假设或方法有问题,需要修正。这是科学精神的核心——falsifiability。模型学到的是「推导的结论是否和现实一致」。

三层依次递进。单独任何一层都是局部增益,三层叠加才对应完整的科研能力闭环。


一、问题背景:评估是自动化科研的真正瓶颈

1.1 OpenAI 的战略押注

自动化科研正在从「学术探索」走向「战略赌注」。

2024 年 10 月,OpenAI 成立专项团队 OpenAI for Science,由副总裁 Kevin Weil 领衔。Sam Altman 本人在多个场合表示,“AI for Science” 是他「个人最兴奋的方向」,并预言「2026 年对科研的影响将如同 2025 年对软件工程的影响」。

这不是零星表态,是系统性布局:

  • 2025.12:发布 FrontierScience 基准,GPT-5.2 在奥赛赛道达到 77%,但真正科研赛道仅 25%——主动揭示能力边界
  • 2026.01:发布 Prism,AI 原生科研协作平台,上线 3 周突破 130 万用户
  • 2026.02:内部模型在「First Proof 挑战」中以最少人类监督,解决 10 道全新研究级数学问题中的至少 6 道
  • 商业模式转型:从「出售工具」转向「投资科研成果」——对药物研发等高资本领域,OpenAI 可能成为科研成果的投资者

Kevin Weil 的判断:「2025 年 AI 重塑了软件开发,2026 年科研领域将迎来同样的变革。」

更多 OpenAI 科学布局细节见:OpenAI 的科学野心:从工具提供者到科学发现的参与者

1.2 现有系统是关键启示:自动化科研本身就是高质量数据生成器

当前自动化科研系统已经能端到端完成「想课题→做实验→写论文」的完整流程:

  • The AI Scientist(Sakana AI, 2024):全自动生成论文,包含想法、实验、写作、同行评审,每篇成本约 15 美元
  • EvoScientist(2025):多智能体进化架构,通过持久记忆和跨会话自我迭代,模拟科研社区的协作与竞争
  • ScienceClaw / AutoResearch:Skill 驱动的科研 Agent,把科研能力分解为可复用的 Skill 库

这些系统的核心启示是:AI 做科研的整个过程,本身就是价值极高的训练数据。它们捕捉了人类科研过程中最难被文本静态呈现的部分——搜索、假设、失败、修正、再推导——这些「思维中间状态」正是让模型获得真正科研能力的关键素材。

但这些系统有一个共同的工程瓶颈:评估依赖人工或 GPT 打分,成本高、不稳定、难以规模化,导致:

  • 生成快,评估慢,数据飞轮转不起来
  • 无法大规模筛选高质量轨迹
  • 难以构建有难度分层的系统性训练集

本方案的核心洞察:如果研究课题本身来自已有论文,评估就有了一个天然的、可直接比较的参照物——原始论文就是答案。这个设计直接复用现有系统作为数据生成器,同时解决了它们共同的评估瓶颈。


二、方案框架:三段式反向闭环

已有论文集合
     ↓
① 反向提取:从论文提取研究课题(去掉答案,只留问题)
     ↓
② 正向推导:模型独立完成研究过程,产出推导论文
     ↓
③ 结构比较:推导论文 vs 原论文,自动化评估关键维度
     ↓
④ 轨迹收集:整个推理过程作为中训练数据

① 反向提取(Hypothesis Extraction)

输入一篇完整论文,提取:

  • 研究动机:当时的 open problem 是什么?
  • 核心假设:论文试图验证的核心命题
  • 关键约束:当时已知的条件(可以用上的工具/数据集/前置工作)
  • 评估标准:论文用什么指标来验证结论

提取时故意抹去:具体方法、模型结构、实验结论、消融分析。

结果是一个「净化过的研究课题描述」——对模型来说,这是一道有标准答案的题目。

② 正向推导(Forward Derivation)

把净化后的研究课题给模型,要求完整推导:

  • 背景文献综述(利用检索工具)
  • 假设的具体化与形式化
  • 方法设计(可以与原论文不同!)
  • 预期实验设计
  • 推导结论与局限性分析

这个过程产生的全部推理轨迹(包括检索、假设、推翻、重构)是后续的数据素材。

③ 结构比较(Structural Comparison)

将推导论文与原论文在以下维度自动比较:

维度评估方式说明
问题定位语义相似度模型是否识别了同一个核心问题
假设质量前提一致性检查假设是否与当时已知条件相容
方法路径方法族相似度是否走了相似的技术路线(可不同但需合理)
推理链完整性结构评估从问题→方法→结论的逻辑链是否闭合
结论对齐结论方向一致性核心结论是否与原论文方向一致

注意:方法可以不同,结论方向一致即可。这允许模型走「另一条合理路」,而不是要求复现原论文。


三、两种变体

变体 A:单论文反向(精准比较)

输入:一篇完整论文
输出:从该论文反向生成的研究过程
比较对象:该论文本身
适合:精细评估、方法对比分析

变体 B:论文系列聚合(课题发现)

输入:同一领域的 N 篇相关论文(如 RAG 领域 2023-2025 的 20 篇代表作)
操作:

  1. 分析这 N 篇论文的研究轨迹,找到「已解决的问题」和「仍然 open 的 gap」
  2. 让模型生成「基于当前进展,下一步最有价值的研究方向」
  3. 模型完整推导这个新课题

比较对象:

  • 与已有 N 篇论文的方法/结论一致性
  • 与 2025-2026 年真实出现的后续论文比较(如果有)

适合:前沿追踪、gap 发现、生成真正有价值的新课题

变体 B 实际上是一个科研趋势推断任务,难度更高,但如果模型能做好,数据质量也更高。


四、数据价值:为什么这些轨迹适合中训练

这个方案产生的数据有几个特点,恰好适合中训练:

1. 长程推理轨迹
整个「提取课题→文献综述→假设形式化→方法设计→结论推导」是一个多步骤、有内在依赖的推理链。这种长程轨迹是中训练最稀缺的数据类型之一。

2. 有验证信号的推理
与一般合成数据不同,每条轨迹都有原论文作为验证锚点。我们可以对轨迹按「推理质量」(与原论文的结构对齐程度)打分,筛选高质量数据,或者用于 RLHF/DPO 训练。

3. 领域可扩展
arXiv 每天新增数千篇论文。只要有论文,就有数据。领域覆盖 cs.LG、cs.CL、cs.AI、统计、生物医学等,可以系统性扩充。

4. 难度可调节
通过控制「给模型的前置信息量」调节难度:

  • Easy:给论文标题 + 摘要,要求推导正文
  • Medium:给研究动机 + 评估指标,要求设计方法
  • Hard:给领域背景 + open problem 描述,从零推导

课程学习友好,可以按难度分层构建训练集。


五、如何复用现有自动化科研系统

现有系统不只是背景,它们是本方案的核心组件。具体复用方式:

The AI Scientist / EvoScientist → 正向推导引擎

方案第②步「正向推导」不需要从零实现——直接把净化后的研究课题输入给 The AI Scientist 或类似系统,由它完成文献综述、方法设计、实验规划、论文写作的全流程。

区别在于:原来这些系统是「自由探索」(自己想课题),现在是「定向生成」(给定课题,推导过程)。这个改动:

  • 让生成的轨迹有了可比较的 ground truth
  • 大幅降低了评估成本
  • 让数据规模可以线性扩展

ScienceClaw Skill 库 → 推导工具箱

ScienceClaw 把科研能力分解为文献检索、假设生成、实验设计、统计分析等 Skill。这些 Skill 可以直接作为模型在正向推导阶段的工具,丰富推导轨迹的深度。

FrontierScience Bench → 能力评测闭环

用 FrontierScience Bench 评测中训练前后的模型科研能力变化,作为整个数据飞轮的终端评估指标。方案里产出的数据质量最终要反映在这个 Bench 上的得分提升。

整体架构:现有系统 + 反向闭环设计

arXiv 论文集合
     ↓ 反向提取(本方案新增)
净化后的研究课题
     ↓ 正向推导(复用 The AI Scientist / EvoScientist)
推导论文 + 完整推理轨迹
     ↓ 结构比较(本方案新增,替代人工评估)
有验证信号的高质量轨迹
     ↓ 中训练注入
更强的科研推理能力
     ↓ FrontierScience Bench 验证

本方案的贡献不是替代现有系统,而是给它们加上「反向提课题」和「自动评估」两个模块,让它们从「展示系统」变成「数据工厂」。


六、实施路径

阶段一:小规模验证(1-2 周)

选择一个评估容易的领域(如机器学习方法论类论文,NeurIPS/ICML 2023-2024 年高引用论文 50 篇):

  1. 手动/半自动提取 50 个研究课题
  2. 用现有模型(Qwen2.5-72B 或 DeepSeek-V3)完成正向推导
  3. 设计结构比较的评估 prompt,验证自动评估质量
  4. 人工抽检 10-20 条,校准评估信号

验证目标:自动评估与人工评估的相关性 > 0.7

阶段二:数据规模化(2-4 周)

  • 扩展到 500-1000 篇论文
  • 构建自动化 pipeline(反向提取 → 正向推导 → 结构比较 → 轨迹收集)
  • 按难度分层,构建训练集
  • 对轨迹质量打分,筛选 top-30% 作为高质量数据

阶段三:中训练实验(4-8 周)

  • 以 Qwen2.5-7B 或类似基座做消融实验
  • 对比:无科研数据基线 / 只加论文文本 / 加推理轨迹数据
  • 评估:FrontierScience Bench / 内部科研推理评测

七、关键风险与应对

风险 1:反向提取质量不稳定
不同论文的结构差异大,自动提取可能失真。
→ 先用人工标注的 50 篇建立 few-shot 示例,检查提取一致性。

风险 2:正向推导与原论文「相似但不同」难以区分「好的不同」和「错的不同」
→ 评估聚焦在「假设-结论一致性」而非「方法完全相同」,明确容忍合理的方法多样性。

风险 3:领域偏差
过度训练某类论文(如 NLP 方法论),可能对其他领域泛化不好。
→ 第二阶段主动平衡领域分布(cs.LG / cs.CV / 数学 / 生物医学)。

风险 4:评估泄露
如果使用的验证论文也在预训练数据里,评估会虚高。
→ 优先使用 2025 年后发表的论文,预训练截止日期之后的数据。


八、核心价值总结

这个方案解决的不是「能不能写论文」,而是:

  1. 把现有的数十万篇论文变成可用的训练数据,而不只是预训练语料
  2. 给每条训练数据附上验证信号,而不是盲目合成
  3. 让数据生成和模型能力提升形成飞轮——模型越强,推导质量越高,数据越好

从数据工程角度看,这是把「论文」这个数据集从「知识存储」升级为「推理过程的生成素材」——这个范式转换本身,比任何具体的工程实现都更重要。


九、增强方案:有开源代码时的升级路径

上述方案在纯文本层面运作。当论文附有开源代码(arXiv 上约 30-40% 的 ML 论文有对应 GitHub 仓库)时,整个方案可以升级到一个更强的版本。

9.1 执行验证替代语义比较

无代码时的评估是语义层面的——推导论文和原论文在假设/结论方向上的文本相似性。这个信号弱、主观。

有代码时,评估可以升级为执行验证:

模型设计的方法,能不能在原论文的代码环境里复现核心实验结果?

具体操作:

  1. 给模型净化后的研究课题 + 原论文的代码仓库(但不给论文正文)
  2. 模型推导方法,生成实验配置
  3. 在原代码环境里执行模型的实验设计
  4. 比较执行结果与原论文 Table/Figure 中的核心数据点

这个信号是完全自动化的、可量化的、不依赖语言模型打分——是目前自动化科研评估最可靠的方式之一。

9.2 代码作为推导的执行反馈

不把代码作为「答案」,而是作为「工具」。

模型在推导过程中可以:

  • 读代码理解数据格式和接口
  • 跑小规模实验观察输出
  • 根据实验结果调整假设
  • 再跑实验,迭代收敛

这个「假设→实验→观察→修正」的循环,产生的轨迹质量远高于纯文本推导——因为里面有真实的执行反馈,不是模型自说自话。

这正是训练「有执行能力的科研 Agent」最需要的数据类型。

9.3 反向方向:代码→论文

原始方案是「论文→课题→推导→论文」。有代码时可以增加一个反向变体:

输入:代码仓库(不给论文)
任务:让模型读懂代码,反向推导「这个工作在解决什么问题、用了什么方法、核心结论是什么」,最终输出一篇论文草稿
评估:与原论文对比

这个任务本质上是「从实现反向推导设计意图」,难度更高,但对工程理解能力的训练价值也更高。在代码写得比论文清楚的领域(如部分系统论文),这个方向可能产出更高质量的轨迹。

9.4 有代码版本的数据分层

结合代码可用性,数据可以分三层:

层级数据来源评估方式轨迹质量
L1论文(无代码)结构语义比较基础
L2论文 + 代码(只读)代码理解 + 语义比较中等
L3论文 + 代码(可执行)执行验证(结果数值对齐)最高

L3 数据虽然比例最小(需要可执行环境),但信号最干净,可以优先用于 DPO/RLHF 的 preference 对标注。

9.5 工程注意事项

  • 代码执行沙箱:必须隔离,避免恶意代码或无限循环(参考 SWE-bench 的沙箱设计)
  • 依赖管理:不同论文的代码依赖差异极大,自动化环境配置是主要工程难点
  • 执行超时控制:设定合理的实验规模限制,避免 full training run
  • 结果对齐粒度:不要求完全复现(随机性、硬件差异),只比较核心指标的数量级和方向

参考文献

本提案基于 2026-03-29 讨论整理。