Por Canuto  

Una prueba desarrollada por OpenAI estrecha el rango donde pueden ubicarse ciertos ceros de la función zeta, vinculada con la distribución de los números primos. El resultado se refiere a una versión más débil de la hipótesis de Riemann: especialistas consideran que el argumento parece correcto en términos generales, pero la revisión sigue en curso y la conjetura original continúa abierta.
***

  • OpenAI anunció dos resultados sobre la hipótesis cuasi-Riemann: uno con verificación formal en Lean y otro, más breve, que aún no está formalizado.
  • Especialistas destacan que la prueba combina herramientas matemáticas conocidas de una manera inesperada y podría apuntalar resultados en distintas áreas.
  • El avance no demuestra la hipótesis de Riemann completa; los expertos no saben si las nuevas técnicas permitirán acercarse a esa prueba.

Una prueba que reordena el debate

OpenAI anunció el 6 de octubre de 2026 una serie de resultados matemáticos. Entre ellos, uno llamó especialmente la atención: una demostración de la hipótesis cuasi-Riemann, una versión más débil de la célebre hipótesis de Riemann. El resultado no resuelve el problema original, pero estrecha el espacio en el que pueden aparecer ciertos ceros de una función central para estudiar la distribución de los números primos. La publicación de Quanta Magazine destacó este trabajo entre los resultados anunciados.

Jared Duker Lichtman, matemático de la Universidad de Stanford, calificó el trabajo como el logro más importante de la inteligencia artificial en matemáticas hasta ahora. Maksym Radziwiłł, de la Universidad de Nueva York, describió como «asombrosas» las posibles consecuencias de esta versión acotada del problema. Esas valoraciones no equivalen a declarar resuelta la hipótesis de Riemann: se refieren al alcance potencial de un avance parcial.

Especialistas humanos han examinado los argumentos y consideran, en términos generales, que el resultado parece correcto. La evaluación, sin embargo, sigue en curso: algunos matemáticos reclaman que se revisen y comprendan todos los detalles antes de tratarlo como un teorema plenamente establecido. La distancia entre un resultado generado con ayuda de IA y una demostración aceptada por la comunidad sigue siendo parte central de la discusión.

Según los expertos citados por Quanta Magazine, la prueba no parece depender de una idea matemática revolucionaria, sino de combinar herramientas ya existentes. Alexander Dunn, del Instituto de Tecnología de Georgia, la describió como una síntesis llamativa de ideas conocidas. El interés del hallazgo está tanto en el límite obtenido como en la posibilidad de que esa combinación abra caminos para problemas difíciles.

Qué plantea la hipótesis de Riemann

La hipótesis de Riemann se refiere a los ceros de la función zeta, una función matemática estrechamente vinculada con los patrones de distribución de los números primos. Sus valores se representan en un plano complejo, con una parte real y otra imaginaria. La conjetura afirma que todos los ceros no triviales se encuentran en una línea vertical cuya parte real es 1/2. Nadie ha conseguido demostrar que esto se cumpla en todos los casos.

Los primos, números divisibles únicamente por uno y por sí mismos, se vuelven menos frecuentes a medida que crecen los enteros. El teorema del número primo describe en promedio cómo disminuye esa frecuencia; la hipótesis de Riemann permitiría controlar mejor las desviaciones respecto de ese promedio.

Los llamados ceros triviales aparecen en los enteros pares negativos, como −2, −4 y −6. Los demás están dentro de una franja vertical entre 0 y 1, y no se encuentran en sus bordes. Reducir esa región puede permitir conclusiones más precisas sobre la distribución de los primos, pero no basta por sí solo para probar la hipótesis completa.

La conjetura figuró entre los siete Problemas del Premio del Milenio del Instituto Clay y ya aparecía en la agenda matemática de David Hilbert un siglo antes. Se han verificado numéricamente los primeros 12 billones de ceros no triviales sobre la línea de parte real 1/2. Esa comprobación, por extensa que sea, no demuestra que todos los demás estén allí.

Dos versiones y una revisión todavía en curso

OpenAI presentó dos versiones de su prueba cuasi-Riemann. La primera, fechada el 30 de septiembre de 2026, afirma que los ceros no triviales deben tener una parte real entre 1/8 y 7/8. El trabajo tiene 199 páginas y fue verificado formalmente mediante Lean, un lenguaje de programación empleado para comprobar pruebas matemáticas. Esa verificación aporta una capa de control computacional, aunque no sustituye la revisión y comprensión del argumento por parte de los especialistas.

La segunda versión, terminada casi una semana después, plantea un resultado más débil: ubica la parte real de esos ceros entre 1/12 y 11/12. Este documento, de 49 páginas, todavía no cuenta con verificación formal. Según el análisis recogido por Quanta Magazine, los matemáticos han prestado atención a esta versión más breve porque parece utilizar técnicas similares y tener consecuencias de alcance parecido. Su estado, sin embargo, no debe confundirse con el de un texto formalmente verificado.

La exposición de los artículos también ha generado críticas. Radziwiłł dijo que estaban redactados de forma deficiente y que su claridad quedaba por debajo de los estándares habituales de la investigación matemática. Esa dificultad ayuda a explicar por qué especialistas han tenido que reconstruir los argumentos. Una prueba debe permitir que otros investigadores sigan sus pasos, identifiquen sus supuestos y valoren qué conclusiones se derivan de ellos.

En las semanas posteriores al anuncio, distintos teóricos de números estudiaron la demostración y prepararon explicaciones más manejables. Peter Sarnak, de la Universidad de Princeton, decidió reutilizar un curso que imparte durante el semestre para analizarla; Radziwiłł dijo que ya podía resumir el argumento en media página. Otros matemáticos elaboraron versiones de entre siete y 13 páginas que, al momento del artículo de Quanta Magazine, circulaban en privado y todavía no se habían publicado.

Herramientas conocidas, conexión inesperada

Una de las sorpresas fue que el argumento reuniera ideas de campos que ya contaban con décadas de desarrollo. Sarnak había defendido que estudiar la función zeta como parte de una familia más amplia de funciones podía ayudar a atacar la hipótesis de Riemann, pero no estaba claro qué familia serviría ni cómo construir ese enfoque. Según Michael Rubinstein, de la Universidad de Waterloo, el modelo de OpenAI identificó una familia que los investigadores no habían considerado de esa manera.

La elección de esa familia requiere objetos matemáticos llamados formas metaplécticas, que Dunn ha estudiado durante los últimos cinco años. El investigador afirmó que pocos esperaban que esas herramientas ocuparan un lugar central en este problema y expresó su esperanza de que el resultado atraiga más atención hacia esa teoría.

La prueba incorpora además una fórmula que Dunn y Radziwiłł demostraron en 2021, junto con aportes de otros matemáticos. Ambos se sorprendieron al ver que aquel trabajo anterior se convertía en un ingrediente crucial del argumento. Radziwiłł señaló que muchos investigadores de esa rama habían creído que sus herramientas no bastaban para probar la hipótesis cuasi-Riemann y que harían falta métodos de otra área.

Ese giro explica parte del entusiasmo, pero no convierte a la IA en autora de un descubrimiento aceptado sin escrutinio. Sarnak dijo que no consideraría el resultado un teorema hasta que los seres humanos revisaran y comprendieran todos sus detalles. Aunque la valoración inicial de los especialistas apunta a que el argumento parece correcto, la revisión pública y el examen integral siguen siendo pasos indispensables.

Consecuencias amplias, pero sin garantía de una solución total

Si los resultados cuasi-Riemann se confirman, podrían establecer de una vez decenas de conclusiones en campos que incluyen la teoría de números, la geometría y la informática teórica. Muchos resultados dependen de límites sobre la ubicación de los ceros de la función zeta; estrechar la franja puede fortalecer herramientas empleadas en distintas áreas. No significa que cada problema se resuelva por separado, sino que se aporta una premisa más potente para diversos razonamientos.

La hipótesis completa, en cambio, exige que todos los ceros no triviales estén exactamente en la línea de parte real 1/2. Las versiones anunciadas por OpenAI los confinan a franjas más estrechas que la región conocida entre 0 y 1, pero todavía alejadas de esa línea. Los teóricos de números citados por Quanta Magazine se muestran escépticos sobre que la combinación específica de técnicas permita pasar directamente de esos límites a una demostración integral.

Will Sawin, de Princeton, consideró más probable que los matemáticos todavía se sientan lejos de la hipótesis de Riemann después de asimilar los nuevos métodos y sus consecuencias, aunque aclaró que no estaba seguro. Thomas Bloom, de la Universidad de Manchester, coincidió en que la conjetura completa parecía fuera de alcance, pero recordó que pocos habrían esperado que la versión cuasi-Riemann avanzara de esta manera. Para ambos, el resultado amplía lo imaginable sin permitir una predicción firme sobre el siguiente paso.

La prueba abre así dos frentes: determinar qué consecuencias matemáticas se derivan de sus límites y establecer hasta dónde pueden llevar las técnicas combinadas por el modelo. Su peso dependerá de una revisión que haga comprensibles y verificables todos los pasos. La hipótesis de Riemann sigue abierta; lo que cambió es el mapa de posibilidades alrededor de ella.

Imagen original de DiarioBitcoin, creada con inteligencia artificial, de uso libre, licenciada bajo Dominio Público.

Este artículo fue escrito por un redactor de contenido de IA y revisado por un editor humano para garantizar calidad y precisión.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados