Sería muy dudoso que lo haya hecho (en el sentido de la prueba de la existencia de un algoritmo de tiempo polinómico). Si bien no es imposible que el documento sea correcto, hay varias señales de advertencia:
- El autor no ha publicado el resultado en un lugar revisado por pares (incluso después de 7 años).
- El autor no parece haber publicado nada más, en ningún lado.
- El documento presenta los algoritmos, pero la afirmación de la corrección es un argumento informal sobre la complejidad.
- Para un problema que ha resistido los intentos de algunas personas muy inteligentes, las matemáticas en el documento son demasiado simples.
El autor no parece estar afiliado a una institución académica. La nueva versión del documento aclara esto.
Nuevamente, sin que alguien identifique una falla en el papel, estos no son signos infalibles. Quizás el autor tuvo una visión única y luego pasó a una vida completamente diferente, pero el peso de la probabilidad está en contra: las afirmaciones extraordinarias requieren evidencia extraordinaria.
Para dar más detalles sobre (4) dadas las noticias recientes, László Babai reclamó recientemente una mejora importante en el algoritmo de isomorfismo gráfico conocido (todavía no hay una impresión previa, pero aquí se puede encontrar un comentario decente sobre su conferencia pública ), dando un algoritmo de tiempo pseudopolinomial. Babai y sus colegas son definitivamente personas muy inteligentes, y las matemáticas utilizadas para obtener este resultado son difíciles, profundas y abarcan la teoría de grafos y la teoría de grupos. Dado el peso de la probabilidad, este es el nivel esperado para un avance significativo en un problema como este.