¿Cuál es el estado actual de la prueba de Vinay Deolalikar de que P no es igual a NP?

Question

Podría tratarse de matemáticas o informática, pero también de física estadística, así que espero que sea de interés.

Soy consciente de que había reservas sobre la prueba $P \neq NP$ pero sin defectos fatales. He seguido Terence Tao y Tim Gowers ambos tienen reservas, pero Deolalikar se mantiene en sus afirmaciones y supuestamente estaba preparando una respuesta actualizada a las críticas.

No he visto gran cosa desde los posts de agosto. ¿Alguien sabe de alguna actualización más reciente que la de septiembre?

---

Este es el estado del documento:

http://michaelnielsen.org/polymath1/index.php?title=Deolalikar%27s_P!%3DNP_paper

Answer 1

Tenía entendido que Terence Tao pensaba que no había esperanza de recuperación:

"Por hacer una analogía (un tanto artificial): tal y como yo lo veo ahora, el documento es como un extenso plano de un coche nuevo y revolucionario, que de alguna manera combina un motor de alta tecnología con un avanzado sistema de inyección de combustible para conseguir 200 millas por galón.

Las objeciones de FO(LFP) son como el descubrimiento de graves fallos de cableado en el motor, pero el inventor afirma entonces que se puede arreglar fácilmente sustituyendo el motor por otro algo menos sofisticado.

Las objeciones espaciales del XORSAT y la solución son como descubrir que, según los planos, el coche funcionaría igual de bien si se sustituyera el combustible de gasolina por agua corriente del grifo. Por lo que veo, la respuesta a esto parece ser equivalente a "Esa objeción no es válida: todo el mundo sabe que los coches no pueden funcionar con agua".

La objeción pp/ppp es como descubrir que, de hecho, el combustible se envía a un componente del coche completamente distinto del motor. " Terence Tao en P=NP y la carta perdida de Godel

Answer 2

A pesar de que el artículo de Deolalikar fue el que se consideró más seriamente en los últimos tiempos, y de que personas importantes trabajaron mucho en él en las pocas semanas posteriores a su publicación, desde entonces se ha juzgado muy poco públicamente. Hubo suficientes reservas como para que la gente probablemente no se moleste en mirarlo de nuevo hasta que salga la actualización.