La hipótesis de Riemann vuelve a ocupar espacio en la conversación pública por una razón concreta: José Damián Espinosa, egresado de Actuaría de la Universidad de las Américas Puebla, ha propuesto una reformulación que, de ser demostrada para todos los números naturales, implicaría la veracidad de uno de los problemas más difíciles de las matemáticas. Su trabajo, titulado A Beautiful Equivalence of the Riemann Hypothesis, fue publicado como preprint en Zenodo en diciembre de 2025 y también presentado en MathOverflow.
El dato decisivo exige una precisión que suele perderse en los titulares. Espinosa no afirma haber demostrado la hipótesis de Riemann. Su contribución consiste en establecer una equivalencia: transforma el problema original en una desigualdad relacionada con una serie de números armónicos y con la función que suma los divisores de un entero. La propuesta también conecta con el retículo de Young, una estructura combinatoria vinculada con las particiones de enteros. La nueva ruta puede ser relevante, pero todavía es una ruta, no la llegada.
La pregunta que sigue abierta desde 1859
Bernhard Riemann formuló su hipótesis en 1859 al estudiar la función zeta, una construcción matemática estrechamente vinculada con la distribución de los números primos. Los primos no aparecen de manera completamente regular, pero tampoco se distribuyen al azar: existen patrones estadísticos profundos que pueden describirse mediante la función zeta. La conjetura sostiene que todos sus ceros no triviales tienen parte real igual a un medio.
Esa afirmación aparentemente compacta tiene consecuencias enormes. Los números primos son los bloques fundamentales de la aritmética, y conocer con mayor precisión cómo se distribuyen permite acotar el error de numerosas estimaciones en teoría de números. La hipótesis no es una fórmula aplicada directamente a una transacción o a un sistema industrial, pero funciona como una frontera de conocimiento: una prueba rigurosa reorganizaría resultados acumulados durante más de siglo y medio.
Por esa razón, el Clay Mathematics Institute la incluyó entre los siete Problemas del Milenio y estableció un premio de un millón de dólares para cada problema resuelto bajo sus estándares de validación. La recompensa no convierte la investigación en una competencia mediática. El instituto exige una demostración completa, publicada en un medio especializado y sometida al escrutinio de la comunidad matemática durante un periodo de evaluación. La distancia entre una idea prometedora y una solución aceptada es, en este campo, la parte más difícil de medir.
Reformular no equivale a resolver
La aportación de Espinosa debe leerse como un cambio de coordenadas. En lugar de atacar directamente los ceros de la función zeta mediante análisis complejo, su enfoque propone verificar una desigualdad construida con objetos aritméticos más discretos: números armónicos y sumas de divisores. Si la desigualdad se mantiene para cada número natural, la hipótesis quedaría demostrada por equivalencia.
El valor de una equivalencia depende de la dificultad del problema al que conduce. Una reformulación puede abrir una vía nueva cuando convierte un objeto abstracto en una familia de desigualdades susceptibles de cálculo, estimación o análisis combinatorio. Sin embargo, también puede trasladar intacta la complejidad original. Que una condición sea más fácil de enunciar, programar o comprobar para millones de casos no significa que se haya probado para infinitos casos.
Éste es el primer punto que la cobertura periodística debe proteger. Las visualizaciones y descargas acumuladas en Zenodo indican interés, no validación. Un repositorio de preprints facilita que una idea circule con rapidez, pero no sustituye la revisión por pares ni la verificación independiente. La exposición pública puede acelerar la detección de errores y atraer colaboradores; al mismo tiempo, permite que una formulación preliminar alcance una audiencia que quizá no distingue entre una conjetura, una equivalencia y un teorema demostrado.
El salto desde los divisores hacia la zeta
La conexión propuesta resulta interesante porque la función suma de divisores pertenece a una zona clásica de la teoría multiplicativa de números. Para un entero positivo n, la función suele denotarse por sigma(n) y agrega todos sus divisores. Su comportamiento refleja la factorización de n: los números con muchos factores tienden a producir sumas relativamente grandes, mientras que los primos tienen una estructura mucho más sencilla. Esa información local puede relacionarse, mediante series de Dirichlet y productos de Euler, con la función zeta.
Los números armónicos introducen otro tipo de acumulación. Las sumas de recíprocos permiten aproximarse a constantes y estudiar errores que, aunque pequeños en términos numéricos, contienen información sobre la distribución de los enteros. La originalidad de una equivalencia no reside simplemente en colocar dos familias de expresiones en una misma fórmula, sino en demostrar que su relación conserva exactamente la propiedad que se pretende investigar.
La referencia al retículo de Young añade una dimensión combinatoria. Las particiones de un entero pueden representarse mediante diagramas que organizan sus partes en filas y columnas; el retículo de Young describe cómo esas particiones se relacionan entre sí. Su presencia sugiere un intento de conectar tres lenguajes: la aritmética de los divisores, las series analíticas y la combinatoria de particiones. Esa traducción entre áreas puede producir herramientas valiosas incluso si la equivalencia no termina conduciendo a una prueba de la hipótesis.
Tres razones para tomarla en serio, con cautela
La primera razón es metodológica. Los grandes avances en teoría de números no siempre nacen de una manipulación directa del objeto original. A menudo aparecen cuando una pregunta se expresa en un marco donde existen otras técnicas, cotas y simetrías. Si la desigualdad propuesta permitiera controlar de manera uniforme una cantidad que hasta ahora sólo puede estudiarse mediante aproximaciones parciales, el cambio sería significativo aunque la demostración final quedara pendiente.
La segunda razón es la posibilidad de computación exploratoria. Una condición expresada mediante funciones aritméticas puede probarse en rangos extensos con programas especializados. Ese ejercicio no demuestra un enunciado universal, pero sí ayuda a localizar patrones, identificar casos extremos y detectar rápidamente una formulación defectuosa. Para investigadores jóvenes o independientes, esta accesibilidad reduce el costo inicial de participar en una conversación que tradicionalmente ha estado dominada por instituciones con grandes recursos académicos.
La tercera razón está en la intersección disciplinaria. Vincular la hipótesis con el retículo de Young podría permitir que especialistas en combinatoria, teoría de números y análisis trabajen sobre el mismo problema desde perspectivas compatibles. Las soluciones históricas suelen depender de puentes entre subcampos. No obstante, la interdisciplinariedad sólo genera avance cuando cada puente viene acompañado de definiciones precisas, lemas verificables y un control estricto de los límites que permiten pasar de una representación a otra.
Mi primer juicio es, por tanto, que la noticia merece atención por el tipo de instrumento que propone, no por la cercanía declarada a un premio. Presentar una equivalencia útil es una contribución potencial; presentarla como solución sería una exageración que perjudicaría tanto al autor como a los lectores.
Una comunidad dividida entre apertura y rigor
Para los matemáticos especializados, un preprint ofrece una ventaja inmediata: hace visible el argumento antes de que termine el proceso editorial. MathOverflow, por su parte, permite recibir objeciones concretas y discutir pasos técnicos con investigadores familiarizados con el área. Esa transparencia puede ser especialmente importante cuando el autor procede de una formación actuarial y no de una trayectoria convencional en teoría analítica de números.
Pero el origen profesional también introduce una tensión. La actuaría utiliza probabilidad, estadística, modelos de riesgo y matemáticas financieras con un fuerte componente aplicado. La teoría de números que rodea a Riemann exige, en cambio, dominio de análisis complejo, teoría espectral, series y métodos de estimación extremadamente refinados. Ser ajeno a los circuitos académicos tradicionales no invalida una idea, pero sí hace indispensable que expertos independientes revisen cada definición y cada inferencia.
Desde la perspectiva de las universidades, el caso puede interpretarse como una oportunidad para ampliar los canales de investigación. Un egresado que trabaja fuera de un departamento matemático puede formular una pregunta relevante y llevarla a foros internacionales sin pasar primero por una estructura institucional. La otra cara es la responsabilidad de las instituciones y de los medios: no deben convertir una procedencia nacional o una historia personal atractiva en sustituto de la evidencia técnica.
También existe una disputa sobre el papel de las herramientas de inteligencia artificial. El interés popular por la hipótesis aumentó al recordar que ni siquiera sistemas avanzados como Claude han producido una prueba aceptada. Esa comparación es limitada: un modelo puede sugerir transformaciones, resumir literatura o buscar patrones, pero no reemplaza la responsabilidad de verificar un argumento infinito. En matemáticas, una respuesta convincente puede contener un salto lógico microscópico y, aun así, ser completamente inválida.
El antecedente de 2009, cuando investigadores del Consejo Superior de Investigaciones Científicas y de la Universidad de Cambridge exploraron una vía basada en un modelo de física cuántica, ilustra el mismo problema. Las conexiones con la física pueden generar intuiciones poderosas, pero una analogía física no es automáticamente una demostración matemática. El hecho de que una línea de investigación reciba atención internacional tampoco modifica el estado oficial del problema: la hipótesis continúa sin resolverse.
El impacto real va más allá del millón
El premio de Clay es el elemento más visible, pero no el impacto más importante. Una prueba aceptada modificaría la agenda de la teoría de números, afectaría numerosos resultados condicionados a la hipótesis y podría impulsar nuevas conexiones con la física matemática y la computación. En criptografía, conviene evitar una conclusión alarmista: los sistemas modernos no quedarían automáticamente expuestos por una demostración de Riemann. La seguridad de muchos protocolos depende de problemas distintos, como la factorización o los logaritmos discretos. Aun así, una comprensión más profunda de los primos podría influir en algoritmos, pruebas de primalidad y análisis de complejidad.
Para la comunidad hispanohablante, el caso tiene un efecto más inmediato. La visibilidad de un investigador mexicano puede mostrar que el acceso a problemas de frontera no está reservado por completo a los grandes centros de Estados Unidos o Europa. Ese efecto será positivo si se comunica el proceso completo: formular, publicar, recibir críticas, corregir y someter a validación. Será contraproducente si se instala la idea de que la nacionalidad del autor constituye una evidencia de validez.
El episodio también revela una transformación en la economía de la investigación. Un preprint en Zenodo puede obtener miles de consultas sin contar con la distribución de una revista especializada. El alcance digital democratiza la difusión, pero no distribuye por igual la capacidad de responder a las críticas. Un investigador independiente puede llamar la atención mundial en días y necesitar después años de colaboración para demostrar un punto técnico. La visibilidad crece más rápido que la infraestructura de verificación.
Qué tendría que ocurrir ahora
El siguiente paso razonable es una evaluación detallada por especialistas. Eso implica comprobar que la equivalencia está formulada sin ambigüedades, que cada dirección lógica está demostrada y que no se introduce de manera oculta una afirmación tan difícil como la hipótesis original. También será necesario examinar los casos límite, la convergencia de las series involucradas y la uniformidad de la desigualdad cuando n tiende al infinito.
Las pruebas computacionales pueden desempeñar un papel auxiliar. Si el enunciado falla para un número natural concreto, la propuesta queda descartada o necesita una corrección. Si sobrevive a rangos enormes, gana credibilidad experimental, pero no estatus de teorema. La historia de las conjeturas matemáticas contiene numerosos ejemplos de patrones que resistieron millones de pruebas antes de quebrarse en un caso excepcional.
Mi segunda conclusión es que la propuesta podría ser valiosa aun sin resolver el problema que la inspira. Una equivalencia que organice mejor las relaciones entre sumas de divisores, números armónicos y particiones puede convertirse en un resultado reutilizable. En investigación básica, una herramienta no fracasa sólo porque no abre la puerta principal: puede proporcionar una cota, una identidad o una clasificación que termine siendo útil en otro problema.
El riesgo de la aceleración mediática
El principal riesgo no es matemático, sino informativo. Los errores ortográficos y de transcripción presentes en la noticia original, como la referencia a una “carreta” de actuaría o a una supuesta física “ciántoca”, muestran cómo una historia técnica puede deformarse durante su circulación. Si además se omite la diferencia entre equivalencia y demostración, el público recibe una narrativa de triunfo que los propios datos no sostienen.
Existe un segundo riesgo para el autor. La presión de ser presentado como quien está “a punto” de resolver un problema abierto puede estimular afirmaciones prematuras y dificultar una revisión serena. En una investigación de esta magnitud, las objeciones no son un rechazo personal: son el mecanismo que permite separar una intuición fértil de una prueba completa. La reputación científica debe construirse alrededor de la precisión del argumento, no de la espectacularidad del titular.
El tercer riesgo afecta a las instituciones educativas y a los medios que cubren ciencia. Si cada preprint viral se presenta como una solución histórica, se erosionará la confianza cuando los expertos encuentren fallas inevitables. La cobertura responsable debe informar qué se sabe, qué se propone y qué falta por demostrar, además de identificar quién ha revisado el trabajo y bajo qué criterios. Ese estándar es más exigente, pero también más respetuoso con los lectores.
Una ruta abierta, no una meta alcanzada
El trabajo de José Damián Espinosa representa una intervención plausible en una conversación matemática de 167 años: propone mirar la hipótesis de Riemann a través de una desigualdad aritmética y de estructuras combinatorias relacionadas con las particiones. La idea puede estimular nuevas investigaciones, atraer especialistas y producir resultados parciales de interés. Sin embargo, el estado del problema no ha cambiado: el Clay Mathematics Institute sigue considerándolo no resuelto y el millón de dólares continúa sin dueño.
La evaluación definitiva dependerá de un proceso lento y poco compatible con la lógica de las noticias virales. Otros investigadores tendrán que reconstruir el argumento, probar sus pasos, buscar contraejemplos y determinar si la equivalencia aporta una dificultad menor o simplemente una nueva formulación del mismo abismo. El desenlace más responsable no es anticipar una victoria, sino observar si la ruta resiste el examen técnico. En la historia de las matemáticas, esa resistencia es la primera evidencia que realmente cuenta.
