"Some programming languages like TypeScript and Swift use a colon for both variable type annotations and function return types."
This is incorrect for Swift, which uses the same arrows as "TenetLang" for function return types. Actually the first thing I thought looking at the example code was "looks swifty but not quite as well designed."
Right, that is truly what the chatbots are lacking. They can fool some of the people some of the time, but they can't fool all of the people all of the time.
Their creators - not the chatbots themselves - are trying to "fool" people into believing that the chatbots would have as you say "ability to understand what you don't know, what you know, and what follows from those things consistently".
But it's just a possibility, and I don't find it's particularly convincing.
(Funnily enough, while both your example questions are easy enough, I feel I was marginally slower on your "easy" question than your "harder" one)
Do inference engines have the other half? Or Cyc plus an inference engine? Can that be coupled to ChatGPT?
My own (completely uninformed) take is that such a coupled AI would be very formidable (far more than ChatGPT), but that it will be very hard to do so, because the representations are totally different. Like, really totally - there is no common ground at all.
While that does not prove that we never apply reasoning ahead of time, it is a pretty compelling indication that we can not trust that reasoning we give isn't a post-rationalisation rather than an indication of our actual reasoning, if any.
But it's more than that. A good educator teaches students to evaluate sources, not to just believe everything they read. As far as I can tell, ChatGPT totally lacks that, and it hurts.
Llm’s are the language model. That is it.
Now we have gone down this path to a very useful tool what’s next is connecting it to something that can understand context and memory.
It’s not so hard to imagine being connected to a knowledge graph of all the things and this evolving into a very capable AI.
It’s like Google v1 compared to Google now. Key words versus semantic seo
So, like the average voter?
I think GPT is on the other hand both over- and underestimated because it speaks well but often makes reasoning mistakes we only expect of someone less eloquent, and it throws us.
If it had come across as an inquisitive child, we'd have been a lot more overbearing of it's "hallucinations" for example, because kids do variations over that all the time.
At the same time, it can do some things most children would have no hope of.
It's a category of "intelligence" we're unfamiliar with, additionally hobbled with no dynamic long term memory.
(And humans are not very reliable; more than current models, sure, but still pretty bad)
https://www.engraved.blog/building-a-virtual-machine-inside/
Here's another one.