Una prueba producida por inteligencia artificial y anunciada a principios de este mes como parte de un lote de 377 resultados matemáticos derivados de IA está conquistando a los expertos humanos que han pasado las últimas dos semanas desarmándola. En un artículo del 19 de octubre, la revista Quanta informó que los teóricos de números ahora han desentrañado la prueba generada por IA de la hipótesis cuasi-Riemann (una versión más débil de la hipótesis de Riemann, posiblemente la mayor pregunta abierta en matemáticas) y su veredicto es inusualmente enfático.
Jared Duker Lichtman, de la Universidad de Stanford, lo llamó "el logro más significativo de IA para las matemáticas hasta el momento, con diferencia". Maksym Radziwiłł de la Universidad de Nueva York, cuyo propio trabajo sustenta partes de la prueba, describió las implicaciones como "asombrosas". Para más contexto sobre esta historia, consulta nuestra cobertura de la industria de IA.
Lo que afirma la hipótesis cuasi-Riemann
La hipótesis de Riemann ha estado abierta durante más de 160 años. Se trata de la función zeta de Riemann y las ubicaciones de sus ceros no triviales, y está íntimamente relacionado con cómo se distribuyen los números primos entre los números enteros. Dado que los números primos son los componentes básicos de la aritmética, una demostración remodelaría enormes áreas de la teoría de números.
La hipótesis es uno de los siete Problemas del Premio del Milenio nombrados por el Clay Mathematics Institute, y fue el único problema transferido de la famosa lista de 23 problemas de David Hilbert anunciada un siglo antes.
El esqueleto técnico, como lo expone Quanta, ha sido mapeado paso a paso durante generaciones. Riemann demostró en 1859 que los ceros no triviales de la función zeta gobiernan cómo los números primos se adelgazan a lo largo de la recta numérica, y demostró que sólo pueden ubicarse dentro de una franja vertical donde la parte real de la entrada se encuentra entre cero y uno. En 1896, dos matemáticos demostraron de forma independiente que no hay ceros en el borde derecho de la tira, un resultado lo suficientemente sólido como para probar el teorema de los números primos. La hipótesis misma dice que todos los ceros no triviales se encuentran exactamente en la línea media de la tira, donde la parte real es igual a la mitad. Los ceros triviales en números enteros pares negativos ya se comprenden completamente. Más de 160 años de esfuerzo han reducido y sondeado esa franja sin precisar nunca los ceros.
La hipótesis cuasi-Riemann, o cuasi-RH, es una afirmación estrictamente más débil. Aun así, sus consecuencias llegan casi al mismo nivel. "En cierto sentido, la gran mayoría de las consecuencias de la RH ya se derivan de una cuasi-RH", dijo Radziwiłł a Quanta.
Del anuncio a la verificación
El resultado salió a la luz por primera vez el 6 de octubre, cuando OpenAI anunció 377 resultados matemáticos derivados de sus sistemas de IA. Entre los matemáticos profesionales, el anuncio inicialmente fue recibido con escepticismo moderado: los sistemas de IA han producido anteriormente pruebas supuestas que colapsaron bajo el escrutinio de expertos, y la verificación ha sido durante mucho tiempo el cuello de botella que separa las matemáticas generadas por IA de las matemáticas aceptadas.
Según el informe de Quanta, esta prueba es diferente: a diferencia de otras pruebas recientes de IA, ésta ha sido analizada por expertos humanos. Los teóricos de números, incluidos Radziwiłł, Alexander Dunn del Instituto de Tecnología de Georgia y otros, han estado trabajando en el argumento desde el anuncio, comprobando sus pasos y situándolo dentro del conocimiento existente.
Los controles se han mantenido. "La prueba es una síntesis sorprendente de ideas bien conocidas", afirmó Dunn, quien junto con Radziwiłł fue pionero en técnicas de las que depende en parte el resultado.
Ideas antiguas, conexiones ocultas
Quizás el aspecto más sorprendente de la prueba, dijeron los matemáticos a Quanta, es lo que no requería. Contrariamente a las expectativas de que resolver incluso una forma debilitada de la hipótesis de Riemann requeriría maquinaria fundamentalmente nueva, la prueba producida por la IA no introdujo conceptos nuevos. En cambio, descubrió conexiones ocultas entre las establecidas, combinando técnicas de una manera que ningún ser humano había reunido.
Ese patrón (la novedad a través de una síntesis inesperada en lugar de una nueva teoría) está emergiendo como una firma del descubrimiento matemático asistido por IA, y está impulsando a los investigadores a reconsiderar dónde es más probable que llegue primero la contribución de las máquinas a las matemáticas.
Por qué es importante para la investigación de la IA
El resultado verificado es un hito para la IA para las matemáticas, un campo que se ha acelerado rápidamente a medida que han mejorado los modelos de razonamiento. El anuncio de OpenAI del 6 de octubre, que cubrimos cuando el Instituto de Estudios Avanzados planteó preguntas sobre el lote de resultados, fue la afirmación más grande sobre matemáticas derivadas de IA hasta la fecha. La prueba cuasi-RH es el primer resultado de ese lote que recibe una lectura detallada de un experto y ha sobrevivido.
Para los laboratorios de IA, el episodio demuestra un flujo de trabajo que puede convertirse en estándar: los modelos producen pruebas candidatas a escala y los expertos humanos clasifican, verifican y absorben los resultados importantes. Para los matemáticos, la consecuencia inmediata es más limitada pero real: un conjunto de consecuencias de la hipótesis de Riemann que ya no necesitan la conjetura completa para ser válidas.
Quanta señala que los matemáticos apenas están comenzando a comprender lo que significa la prueba para este campo. Como lo expresó Radziwiłł, las implicaciones son "asombrosas", un adjetivo rara vez asociado a un resultado que no llega a la hipótesis completa.
El episodio también establece un punto de referencia para futuras reclamaciones. Cualquier laboratorio de IA que anuncie avances matemáticos ahora se comparará con la cuasi-RH: un resultado afirmado que fue verificado, verificado y aceptado por los expertos mejor posicionados para refutarlo.
Nada de esto resuelve la hipótesis de Riemann en sí. La conjetura completa permanece abierta y el cuasi-RH es estrictamente más débil. Pero por primera vez, un sistema de inteligencia artificial ha producido una prueba en la frontera de la teoría analítica de números que destacados especialistas en el área han desglosado y respaldado: un hecho que puede decir tanto sobre el futuro de la investigación matemática como el teorema mismo.
Este artículo se basa en un informe de la revista Quanta, publicado el 19 de octubre de 2026.
---
Mantente al Día con la IALas últimas noticias, análisis y avances de inteligencia artificial, en un solo lugar.
Leer más noticias de IA →
