arXiv 新论文：用可能性理论形式化 LLM 开放式科学发现，提出 possibility frontier search 算法

一篇 arXiv 论文用可能性理论形式化 LLM 开放式科学发现，并提出可计算的发现进度度量 abductive utility 与 AASD 算法 possibility frontier search。该算法保持 anytime validity，在适当条件下渐近达到 ε-最优 abductive utility，并在合成与真实科学发现任务上表现强劲。