> I suspect that the next big AI breakthrough will result at least in part from constraining LLM decisions with old AI approaches.

AFAIK bridging deductive and inductive AI has been understood as the trick for "AGI" for a long time, probably even before it was called AGI.

I really want this winter of deductive AI to be short. We need both sides and can't afford a long winter like the one inductive AI suffered.