本文讨论了计算第一和逻辑第一的区别，指出世界是由计算构成的。作者提到了CYC项目和LLM的出现，分别探讨了它们在捕捉常识性知识和常识推理方面的成功。最后，作者表达了对Doug Lenat的敬意，并认为符号推理系统的成功将是庞大而复杂的。