Lenat's "next gen Eurisko", Cyc, hasn't been nearly as impressive as Eurisko is supposed to have been.
It matches the theory "AI advance way ahead of his time that Lenat keeps secret with a cover story" ... but I think Occam favors your explanation now.