zlacker

>>snewma+(OP)
I have always thought of Cyc as being the AI equivalent of Russell and Whitehead's Principia--something that is technically ambitious and interesting in its own right, but ultimately just the wrong approach that will never really work well on a standalone basis, no matter how long you work on it or keep adding more and more rules. That being said, I do think it could prove to be useful for testing and teaching neural net models.

In any case, at the time Lenat starting working on Cyc, we didn't really have the compute required to do NN models at the level where they start exhibiting what most would call "common sense reasoning," so it makes total sense why he started out on that path. RIP.

>>eigenv+Ye
https://arxiv.org/pdf/2308.04445.pdf

"Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc"

Lenat's last paper (July 31st, with Gary Marcus)

>>37354601

This may disabuse you of two ideas:

   1. that NN models (LLMs) exhibit common sense reasoning today
   2. that the approach to AI represented by Cyc and the one represented by LLMs are mutually exclusive

>>PaulDa+HS
I don’t know about [1]. I asked an example from the paper above to GPT-4: “[If you had to guess] how many thumbs did Lincoln’s maternal grandmother have?”

Response: There is no widely available historical information to suggest that Abraham Lincoln's maternal grandmother had an unusual number of thumbs. It would be reasonable to guess that she had the typical two thumbs, one on each hand, unless stated otherwise.