Forums before death by AOL, social media and spammers... "We can't have nice things"
|    comp.ai.philosophy    |    Perhaps we should ask SkyNet about this    |    59,235 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 57,875 of 59,235    |
|    olcott to All    |
|    Why three different LLM systems are corr    |
|    15 Aug 25 07:48:28    |
   
   XPost: comp.theory, comp.lang.c, comp.lang.c++   
   From: polcott333@gmail.com   
      
      
   Simulating Termination Analyzer HHH correctly simulates its input until:   
   (a) Detects a non-terminating behavior pattern:   
    abort simulation and return 0.   
   (b) Simulated input reaches its simulated "return" statement: return 1.   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
    int Halt_Status = HHH(DD);   
    if (Halt_Status)   
    HERE: goto HERE;   
    return Halt_Status;   
   }   
      
   What value should HHH(DD) correctly return?   
      
      
   Three different LLM systems figured out the   
   *recursive simulation non-halting behavior pattern*   
   entirely on their own without prompting and figured   
   out that HHH(DD)==0 is correct also without prompting.   
      
   For people that are not as smart as these LLM systems   
   I will say this: When a *non-halting behavior pattern*   
   is matched that means that INPUT_DATA correctly simulated   
   by HHH cannot possibly reach its own simulated "return"   
   statement in any finite number of steps.   
      
   https://claude.ai/share/da9e56ba-f4e9-45ee-9f2c-dc5ffe10f00c   
      
   https://chatgpt.com/share/68939ee5-e2f8-8011-837d-438fe8e98b9c   
      
   https://grok.com/share/c2hhcmQtMg%3D%3D_810120bb-5ab5-4bf8-af21-eedd0f09e141   
      
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca