Reaction-network reasoning with frontier models for experimentally confirmed catalyst-selectivity hypotheses · toollens News