用前沿模型进行反应网络推理，并实验验证催化剂选择性假设

论文提出一种受显式反应网络约束的人机协同推理框架，用于从复杂化学路径中提炼可检验的催化剂假设。在二氧化碳电还原中，模型识别出乙酸生成涉及酮烯脱附与氢氧根捕获，并提出局部碱性、铁掺入和质子供体可及性等控制因素，指导合成铜铁氧化物催化剂，使乙酸选择性达到富铜基线的三倍。