For example, in 2002 these statements were made: The main argument in favor of P ≠ NP is the total lack of fundamental progress in the area of exhaustive search.
De exemplu, în anul 2002, s-au făcut următoarele afirmații: „Principalul argument în favoarea ideii că P ≠ NP este lipsa totală de progres fundamental în zona căutării exhaustive.