“We suggest that any trustworthy general AI will need to hybridize the approaches, the LLM approach and more formal approach, and lay out a path to realizing that dream.”

Link. Doug (Cyc) Lenat’s final paper with Gary Marcus, written as he was dying.

Skip to the conclusion first. I think we will do something like this.