A former employee of Cyc did an insightful AMA on HN back in 2019:
https://news.ycombinator.com/item?id=21783828
> 1. Manually add more and more common-sense knowledge and extend the inference engine
> 2. ???
> 3. AGI!
In retrospect, this reasoning doesn't seem to be so wrong.