Подробная история мегаломанического проекта Cyc (from "encyclopedia"), создававшего полвека логический ИИ вручную "Obituary for the greatest monument to logical AGI. After 40 years, 30 million rules, 200 million dollars, 2000 person-years, and many promises, Cyc has failed to reach intellectual maturity, and may never will. Exacerbated by the secrecy and insularity of Cycorp, there remains no evidence of its general intelligence." https://yuxi-liu-wired.github.io/essays/posts/cyc/