XPost: alt.folklore.computers   
   From: antispam@fricas.org   
      
   In alt.folklore.computers Lawrence D’Oliveiro  wrote:   
   > On Fri, 2 Jan 2026 02:53:45 -0000 (UTC), Waldek Hebisch wrote:   
   >   
   >> In alt.folklore.computers Lawrence D’Oliveiro  wrote:   
   >>>   
   >>> The only succinct definition of “AI” I ever saw was: “solving NP   
   >>> problems in polynomial time”.   
   >>   
   >> Well, for me AI is process (and its results) of trying to solve   
   >> problems that we can not solve using known (at given time) methods   
   >> and which seem to require inteligence.   
   >   
   > You don’t see crossing the P/NP divide as being a good indication of   
   > such a distinction?   
      
   1) If a machine could prove that P = NP, then it would be   
      big success and possibly indicate that such machine is   
      intelligent.  But it looks that P is distinct from NP,   
      so "crossing the P/NP divide" probably is impossible.   
      Different things is that some instances of NP problems   
      are easy.   
      
   2) Ability to solve some instances of NP problems is IMO mindly   
      correlated with inteligence.  People seem to have a lot of   
      trouble solving bigger/slightly harder instances easily solvable   
      by computers.  And large progress made abut 20 years ago   
      in solving boolean satisfability (classic NP complete   
      problem) led to various applications, but AFAICS had minimal   
      impact at getting more inteligent behaviour from   
      computers.   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)