Para #5, algo de razón #4. Es cierto que saber este resultado es muy importante, pero también hay mucha gente que se dedica a resolver problemas difíciles como éste y nunca llega a respuesta alguna en toda su vida. Basta recordar la cantidad de gente que quedó loca tratando de demostrar que existía otro infinito entre el aleph 0 y 1.
A todo esto, si mal no recuerdo, creo que una entrada similar ocurrió el año pasado, con otro tipo (no sé si habrá llegado a portada), que decía haber probado que P!=NP y que estaba en revisión su demostración...creo que el archivo se podía descargar desde arxiv...
Hace un tiempo atrás tuve clases de complejidad computacional con un profesor que hizo su doctorado en el MIT y fue discípulo de Sipser. Y bueno, contaba que siempre aparecían este tipo de publicaciones y que demoraba su tiempo hasta encontrar el error. Esperemos que este no sea el caso y se cierre el tema. Pero primero debe pasar por muchas manos antes su aprobación final.
Se me olvidaba:
http://www.hpl.hp.com/personal/Vinay_Deolalikar/