基于可能性推理的开放式科学发现研究

研究者利用可能性理论将大语言模型驱动的开放式科学发现形式化为溯因自主科学发现（AASD）问题。该研究提出了可量化发现进展的溯因效用指标，以及首个 AASD 算法——可能性前沿搜索，在保持随时有效性的同时渐进实现 ε-最优溯因效用。合成与真实世界科学发现任务的实验表明，该方法展现出强劲的性能表现。