If LLMs struggle with scientific abduction, the better model may be AI for synthesis and verification, with humans making the creative leap.