Un modelo de OpenAI detecta una laguna en la hipótesis de Riemann que los matemáticos habían pasado por alto durante años

La modelo de IA de OpenAI demostró una versión más débil de la famosa hipótesis de Riemann, que los matemáticos llaman cuasi-hipótesis de Riemann. La noticia recibió una confirmación importante: especialistas en las últimas semanas analizaron la demostración y en su mayoría coincidieron en que la idea matemática funciona. La hipótesis de Riemann completa sigue sin resolverse.

La hipótesis de Riemann intenta explicar un orden oculto en la distribución de los números primos. Para ello, los matemáticos estudian la función zeta de Riemann y los puntos en los que su valor se anula. La hipótesis afirma que todos los ceros no triviales deben situarse estrictamente en una misma línea vertical del plano complejo con parte real 1/2. Los ordenadores comprobaron los primeros 12 billones de ceros y, en efecto, los encontraron en la línea requerida; sin embargo, verificar cualquier cantidad finita de ejemplos no demuestra la regla para un conjunto infinito.

La cuasi-hipótesis plantea un objetivo más alcanzable. Los matemáticos saben desde hace tiempo que los ceros no triviales se encuentran dentro de una franja entre cero y uno. Basta demostrar que esa franja puede estrecharse al menos por una cantidad constante. Cuanto más ajustados estén los límites, más se puede decir sobre el comportamiento de los números primos.

OpenAI presentó dos versiones de la solución. La demostración más fuerte está dirigida a descartar las regiones situadas a la derecha de 7/8 y a la izquierda de 1/8, de modo que todos los ceros no triviales de la función zeta deberían permanecer entre esos límites. El texto ocupa 199 páginas. OpenAI también tradujo el resultado principal al lenguaje Lean, donde un programa verifica los pasos lógicos uno por uno.

Días después apareció una segunda versión de 49 páginas. El límite allí es más débil: de 1/12 a 11/12. Pero el texto breve resultó mucho más fácil de leer para las personas, por lo que los matemáticos se concentraron en él. Varios especialistas reconstruyeron de forma independiente la cadena principal de razonamientos; una de las revisiones se llegó a reducir aproximadamente a media página, otras ocupan entre siete y 13 páginas. Tras las primeras comprobaciones, los expertos en su mayoría consideran el resultado válido.

Lo más inesperado del demostración no provino de una nueva teoría matemática. El modelo combinó métodos que los especialistas conocían desde antes, pero que no consideraban suficientes para resolver la cuasi-hipótesis. Jugaron un papel clave las formas metaplécticas y una fórmula obtenida por matemáticos en 2021. La IA encontró una familia de funciones a la que se pueden aplicar los resultados acumulados, aunque antes los investigadores evitaban la combinación necesaria.

Queda un paso enorme hasta la hipótesis de Riemann completa. Los métodos actuales no ofrecen por ahora una ruta clara desde el límite 7/8 hasta la recta 1/2, y los especialistas no esperan poder potenciar la técnica nueva hasta lograr la solución total. Sin embargo, la cuasi-hipótesis tiene por sí misma consecuencias serias: de ella se derivan muchos resultados que antes los matemáticos solo podían obtener con supuestos adicionales.

Para la matemática asistida por IA la historia es especialmente ilustrativa. Los modelos de lenguaje ya habían ofrecido en varias ocasiones demostraciones largas y convincentes que se desmoronaban tras la comprobación. Aquí se dio una combinación más rara: la máquina halló la solución de un problema abierto, la versión fuerte se verificó formalmente y la versión más corta la pudieron entender y reformular los especialistas en lenguaje matemático humano. Es precisamente el análisis experto el que convierte la declaración ruidosa de OpenAI en un resultado al que la comunidad matemática ahora presta atención seria.