P!=NP. Posible (y probable) prueba en HP Labs, Palo Alto

Es posible (y probable) que en los HP Labs de Palo Alto hayan probado que P!=NP. Aquí un comentario. Aquí el documento original de HP Labs.