Las grandes conjeturas de la matemática requieren demostraciones geniales. La vía fácil es demostrar que el problema es indecidible. Pero no siempre es posible hacerlo. Hay que demostrar que es imposible demostrar o refutar la conjetura. Marcel Rémon «The «P-NP» problem and the deterministic or time-independent nature of Mathematics,» ArXiv preprint, 4 Apr 2009 , afirma haberlo demostrado para la conjetura P no es igual a NP, el problema abierto más importante de la informática teórica y uno de los problemas dotados con un millón de dólares por el Instituto Clay de Matemáticas. A mí, personalmente, tras una lectura rápida, el artículo de Rémon no me convence. Habrá que esperar al dictámen de los expertos.