LLMs can’t jump: the abductive gap in AI science
A growing AI-for-science argument says LLMs excel at induction (pattern learning) and deduction (deriving consequences) but miss abduction: inventing the premises that make new theories work. The proposed fix points to physically consistent, multimodal world models that can translate simulated dynamics into formal axioms.