Yuxi Liu (via Hacker News): The legendary Cyc project, Douglas Lenat’s 40-year quest to build artificial general intelligence by scaling symbolic logic, has failed. Based on extensive archival research, this essay brings to light its secret history so that it may be widely known. […] In 1984, he launched Cyc to manually encode millions of […]