Yeah the intelligence is still in the model. The promise of symbolic AI is about logic programming/ formal semantics not recursive loops.

To a large extent the idea has failed because it proved too hard to get non-experts to represent systems formally.

I still think there's potential value in a hybrid approach - e.g. get language models to do the representation then let them use formal reasoners/ verification instead of hallucinating.