Doug Lenat was a gem, and I am sad he is no longer with us. He had a lot of interesting ideas for building a large symbolic AI system.
Just because Cyc - and symbolic AI in general - failed to scale like DNNs (including LLMs) doesn't mean that its ideas were all bad.