自动化假设验证与代理序列反驳

本研究解决了传统假设验证中抽象高层次陈述难以直接验证的问题，尤其在大语言模型生成假设的背景下产生的验证困难。提出的Popper框架利用LLM代理设计和执行反驳实验，确保了严格的第一类错误控制，并在多个领域展示了其强大的性能与可扩展性。研究结果表明，Popper能在验证复杂生物假设时实现与人类科学家相当的效果，同时将时间缩短了十倍，提供了一种可扩展的假设验证解决方案。