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.
Για παράδειγμα, το 2002 παρουσιάστηκαν αυτές οι δηλώσεις: Το κύριο επιχείρημα υπέρ του P ≠ NP είναι η έλλειψη θεμελιώδους εξέλιξης στην περιοχή των εξαντλητικών ερευνών.