El sueño del millón de euros: cuando un aficionado dice haber probado la hipótesis de Riemann
¿Se puede demostrar uno de los problemas matemáticos más difíciles de la historia con un vídeo de YouTube y unos cuantos cálculos en Python? Hay quien lo intenta cada pocos meses. La última ocasión ha venido acompañada de una promesa: dos vídeos, un gráfico de los ceros de la función zeta y la convicción de haber encontrado «la clave». No hay prueba formal, lo admiten, pero el material es «contundente».
La hipótesis de Riemann, formulada en 1859, sigue sin resolverse. El Instituto Clay ofrece un millón de dólares a quien consiga demostrarla. Pero la tentación es demasiado grande para los aficionados con tiempo y curiosidad. Lo que en teoría de números es un muro infranqueable, para algunos es un rompecabezas dominical.
Por qué la recta crítica es tan escurridiza
La función zeta ζ(s) tiene ceros triviales en los números negativos pares. Los no triviales, según la conjetura, se concentran todos en la recta vertical con parte real 1/2. Conocidos los primeros: la parte imaginaria de los tres primeros ceros es aproximadamente 14,134725; 21,022040 y 25,010858. Cualquiera con un programa puede comprobar estos valores.
Pero la demostración requiere algo más que calcular ceros. Hay quien sostiene que la hipótesis es indecidible con las herramientas actuales, lo que convierte cualquier intento en una «ociosidad» según los más escépticos. Y, en efecto, la historia está llena de pruebas parciales y demostraciones fallidas.
El operador fantasma de Hilbert-Pólya
La vía más prometedora pasa por la teoría espectral. La idea de Hilbert-Pólya sugiere que existiría un operador autoadjunto cuyos autovalores fuesen las partes imaginarias de los ceros no triviales. Si tal operador existiera y sus autovalores fueran reales, la hipótesis quedaría demostrada. Es un camino que se explora con mecánica cuántica, geometría no conmutativa y análisis complejo, pero nadie ha cerrado la puerta.
En el intento reciente, se aporta un código MATLAB que relaciona el coseno de un cero con el seno del siguiente, y una convergencia que, según el autor, solo funciona con ceros consecutivos y se anula si se varía un 1%. Es un patrón que recuerda a la conjetura de Montgomery sobre la distribución de los ceros y a los trabajos de Odlyzko, donde se detectaron correlaciones no triviales entre ceros consecutivos. «Pero esos patrones son estadísticos, no deterministas», advierte el análisis más informado.
La Inteligencia Artificial como nuevo validador
Otro participante entra en escena con una afirmación aún más sorprendente: una IA habría verificado sus números «sin ninguna duda», con una probabilidad de que fueran inventados equivalente a ganar la lotería cinco veces seguidas. Las limitaciones de los grandes modelos de lenguaje para el razonamiento matemático son conocidas, y se queja de que cometen «fallos estúpidos de niños pequeños». La ironía es que, según él, la IA es incapaz de generar pensamiento divergente, pero ha servido para validar sus cálculos.
El mundo académico, entre tanto, sigue su curso. Hay quien recuerda que el premio aún no se ha entregado y que buena parte de los intentos informales acaban en el mismo sitio: una carpeta polvorienta o un correo ignorado.
La parábola de Perelman y el registro de la propiedad
La desconfianza hacia el establishment es un clásico en estos casos. Alguien evoca a Perelman, que huyó del sistema tras resolver la conjetura de Poincaré. Otros recuerdan casos de genios ignorados y recomiendan, antes de publicar, registrar la idea en la Oficina de Patentes o ante notario. La lógica es simple: si no reconocen tu mérito, al menos que quede constancia. Hasta se cita a CRISPR como ejemplo de reconocimiento tardío.
Mientras tanto, la hipótesis de Riemann sigue en el aire. La tentación de resolverla en una tarde de domingo es irresistible, pero la realidad matemática es tozuda. Por ahora, solo queda la ironía de que el premio sigue intacto y los aspirantes, compartiendo cálculos online, esperando que alguien les haga caso.
