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)