普罗米修斯:一个与领域无关的主动推理引擎,用于自主科学机制识别 | Synapse