FirstResearch：面向 LLM 科学发现代理的可审计问题构建

针对 LLM 在科学发现中提出的首个研究问题难以审计的问题，本文引入 FirstResearch 框架。其核心产物是结构化的“研究问题证书”，记录原始定义、假设、机制模型、矛盾点、可证伪假设及测试规则，使问题在执行前可被审查。实验表明，该框架在多个基准上显著优于现有方法，且消融实验证实证书机制是关键组件。结果表明，显式的推导约束能有效提升 LLM 生成科学问题的可审计性。