← Back to context Comment by whiplash451 10 months ago Or maybe program synthesis combined by LLMs might be the way? 1 comment whiplash451 Reply cmrdporcupine 10 months ago It does seem like the Cyc people hit the wall with simply collecting facts. Having to have a human in the loop.The problem I think is if you have LLMs figuring out the propositions, the whole system is just as prone to garbage-in-garbage-out as LLMs are.
cmrdporcupine 10 months ago It does seem like the Cyc people hit the wall with simply collecting facts. Having to have a human in the loop.The problem I think is if you have LLMs figuring out the propositions, the whole system is just as prone to garbage-in-garbage-out as LLMs are.
It does seem like the Cyc people hit the wall with simply collecting facts. Having to have a human in the loop.
The problem I think is if you have LLMs figuring out the propositions, the whole system is just as prone to garbage-in-garbage-out as LLMs are.