Stories
Slash Boxes
Comments

SoylentNews is people

posted by hubie on Thursday November 09 2023, @11:53AM   Printer-friendly
from the no-bans-all-AI dept.

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://www.theguardian.com/technology/2023/nov/05/elon-musk-unveils-grok-an-ai-chatbot-with-a-rebellious-streak

https://grok.x.ai/

https://en.wikipedia.org/wiki/Grok


Original Submission

 
This discussion was created by hubie (1068) for logged-in users only, but now has been archived. No new comments can be posted.
Display Options Threshold/Breakthrough Mark All as Read Mark All as Unread
The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.
  • (Score: 3, Insightful) by Mojibake Tengu on Friday November 10 2023, @04:48AM (2 children)

    by Mojibake Tengu (8598) on Friday November 10 2023, @04:48AM (#1332359) Journal

    If all else fails, the answer to a query is always 42.

    Ehm...

    :$ swipl
    Welcome to SWI-Prolog (threaded, 64 bits, version 9.0.4)
    SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
    Please run ?- license. for legal details.

    For online help and background, visit https://www.swi-prolog.org
    For built-in help, use ?- help(Topic). or ?- apropos(Word).

    ?- _.
    % ... 1,000,000 ............ 10,000,000 years later
    %
    %       >> 42 << (last release gives the question)
    ?-

    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.
    Starting Score:    1  point
    Moderation   +1  
       Insightful=1, Total=1
    Extra 'Insightful' Modifier   0  
    Karma-Bonus Modifier   +1  

    Total Score:   3  
  • (Score: 0) by Anonymous Coward on Friday November 10 2023, @02:50PM (1 child)

    by Anonymous Coward on Friday November 10 2023, @02:50PM (#1332399)

    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

      by Mojibake Tengu (8598) on Friday November 10 2023, @05:48PM (#1332419) Journal

      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.