FirstResearch: Auditable Question Formation for LLM Scientific Discovery Agents
Summary
FirstResearch introduces a novel framework for scientific LLM agents, addressing the challenge of auditing research questions proposed by these systems. Its core innovation is the "Research Question Certificate," a structured artifact that records primitive definitions, assumptions, a mechanism model, a tension, a falsifiable hypothesis, a minimal decisive test, and a failure update rule. This certificate makes proposed questions inspectable before execution. Evaluated on ten LLM-agent research topics, FirstResearch significantly outperformed controlled prompt-level baselines, including those inspired by AI co-scientist and Agent Laboratory. Under a Gemini-2.5-Flash independent-judge rescore, FirstResearch achieved a score of 4.86/5, compared to 4.38/5 for the strongest baseline, with a Pearson agreement of 0.865. An ablation study confirmed the certificate's critical role, with certificate-only scoring reaching 4.90/5 under DeepSeek. While preliminary and using LLM judges, these results suggest explicit derivation constraints enhance the auditability of LLM-generated scientific questions.
Key takeaway
For AI Scientists and Research Scientists developing LLM agents for scientific discovery, adopting structured question formation frameworks is crucial. If your goal is to ensure the auditability and scientific rigor of LLM-generated research questions, consider implementing explicit derivation constraints via structured certificates. This approach, exemplified by FirstResearch's 4.86/5 performance, can significantly improve the inspectability and reliability of proposed hypotheses, even if initial evaluations use LLM judges.
Key insights
FirstResearch uses structured "Research Question Certificates" to make LLM-generated scientific questions auditable and inspectable.
Principles
- Explicit derivation constraints enhance auditability.
- Structured certificates improve LLM output inspectability.
Method
FirstResearch forms scientific questions by generating a Research Question Certificate. This certificate details primitive definitions, assumptions, a mechanism model, tension, a falsifiable hypothesis, a decisive test, and a failure update rule.
In practice
- Implement structured certificates for LLM outputs.
- Integrate falsifiable hypotheses into LLM prompts.
Topics
- LLM Agents
- Scientific Discovery
- Auditable AI
- Research Question Certificate
- Question Formation
- Derivation Constraints
Code references
Best for: AI Scientist, Research Scientist
Related on AIssential
Editorial summary, takeaway, and curation by AIssential. Original article published by Artificial Intelligence.