So much for the temporary delay or ban on AI. Musk named his AI Grok. I'm surprised by the lack of X:es in the name. Perhaps it would have looked odd considering the name of the Musk AI Company is xAI.
Somewhat unclear if the Grok is referring to Hitchhikers guide to the Galaxy Grok or to Heinleins Stranger in a Strange Land. If you take inspiration from Hitchhikers then it shouldn't be that hard to program. If all else fails, the answer to a query is always 42. So I guess we'll know what it will default to when it starts looping hallucinations.
Also Grok should apparently be really into sarcasm, so that will end well and not lead to any kind of misunderstandings or interpretations. None.
https://en.wikipedia.org/wiki/Grok
(Score: 3, Insightful) by Mojibake Tengu on Friday November 10 2023, @04:48AM (2 children)
Ehm...
While a trivial Prolog program "_." is syntactically correct and logically valid (it means everything), and used as query in toplevel interpreter a correct implementation should name all logical atoms of the Herbrand Universe of the Prolog language, no current implementation of any Prolog engine is capable enough to do that. Never will be.
This. This is why I do not believe in LLM fake AIs (because they are even weaker than logical languages) and why there always will be an existing method to break the LLM machine down with hidden recursion and indirect self-reference.
Just like I described a case in my SoylentNews journal not long ago.
LLMs are futile. Turing is laughing at you from his grave. Musk should know better.
Blame Goedel, not me.
Rust programming language offends both my Intelligence and my Spirit.
(Score: 0) by Anonymous Coward on Friday November 10 2023, @02:50PM (1 child)
OT, just curious, what sorts of things do you do in Prolog?
(Score: 3, Interesting) by Mojibake Tengu on Friday November 10 2023, @05:48PM
Just two things:
1. Binary disassemblers and reassemblers. Topology of binary code.
2. Artificial Intellect Personoid (AIP).
Theoretical Herbrand Universes of programming languages are quite underrated.
Since Prolog can construct syntax of any programming language by core language, its Herbrand Universe contains not only all Prolog programs as atoms, but also all programs in all other programming languages.
Including all programs in machine code for all possible machines.
In compare to that, Herbrand Universes of many other programming languages are just tiny subset. Many languages (like C, C++ or Rust) are not self-referent, so they cannot perform analysis of themseves.
A nightmare of government agencies, it also contains all strings. Theoretically, that means all secrets, including all possible encryption keys and all secret messages are also contained in Prolog's Herbrand Universe...
In compare to that, any LLM is just a crippled, mutilated bastard. You get back only mutilation of what you stuffed into it. That 's why you get 3 toe and 7 hand fingers on generated girls imagery by LLMs.
Rust programming language offends both my Intelligence and my Spirit.