OpenAI afirma que su IA ha refutado una conjetura de la informática teórica con 30 años de antigüedad

OpenAI anunció el 26 de octubre que su modelo ha refutado una conjetura de la informática teórica que se consideraba cierta desde hacía casi 30 años y que servía de base a toda una serie de trabajos. Lo singular de esta historia es la reacción de los científicos. Los dos investigadores que propusieron en su día la conjetura no despacharon el anuncio. Se disponen a reunir a colegas para verificar juntos el contraejemplo que ha propuesto la IA. Según Jiqizhixin, ese mismo día la compañía afirmó también haber resuelto la conjetura de Kakeya, uno de los problemas conocidos de la teoría geométrica de la medida.

Segundo golpe matemático en poco tiempo

El debate sobre la anterior tanda de resultados aún no ha terminado. OpenAI presentó antes 22 manuscritos matemáticos, y la comunidad analizó su calidad, su originalidad y la aportación humana a las formulaciones finales. El nuevo anuncio lleva la conversación en otra dirección. Hasta ahora, la IA avanzaba sobre todo donde había que explorar muchas variantes o completar con cuidado un esquema de demostración ya conocido. Ahora se trata de la afirmación de que el modelo ha encontrado la razón por la que una conjetura asentada es falsa.

En la informática teórica, este tipo de resultado es especialmente delicado. Conjeturas como esta suelen funcionar como supuestos tácitos: sobre ellas se construyen resultados condicionales del tipo «si A es cierto, entonces B». Si A cae, hay que revisar toda una cadena de conclusiones. No todas se derrumban necesariamente, pero cada una habrá que comprobarla de nuevo.

Por qué serán los propios autores quienes verifiquen

Lo más interesante es la postura de aquellos cuya conjetura ha sido cuestionada. Los dos investigadores que la propusieron hace unos 30 años organizan la verificación junto con colegas. Para la ciencia, es la reacción habitual y la más sana: por su naturaleza, un contraejemplo es más fácil de comprobar que de encontrar. Si es correcto, se puede revisar a mano, reescribir en un código independiente o formalizar en un sistema de verificación automática.

Por ahora se trata solo de una afirmación de la compañía, no de un resultado aceptado. Su estatus cambiará cuando un grupo independiente confirme la construcción paso a paso, y los matemáticos no tienen motivos para precipitarse. Un escándalo reciente en torno a demostraciones generadas por IA ya enseñó a la comunidad a distinguir una formulación vistosa de un enunciado verificado.

Qué se sabe hasta ahora

• Fecha del anuncio: 26 de octubre; la fuente de la noticia es Jiqizhixin (机器之心), con una publicación del 27 de octubre.
• Objeto de la afirmación: la refutación de una conjetura de la informática teórica que se consideraba cierta de forma generalizada desde hacía casi 30 años.
• Reacción de los autores de la conjetura: los dos investigadores que la propusieron preparan una verificación conjunta con colegas.
• Segundo resultado: según el medio, OpenAI afirmó también haber resuelto la conjetura de Kakeya. Esta se refiere a los conjuntos que contienen un segmento unitario en cada dirección, y sostiene que dichos conjuntos tienen dimensión máxima.
• Contexto: OpenAI presentó antes 22 manuscritos matemáticos, y el debate en torno a ellos continúa.

Cómo leer este tipo de noticias

Si trabajas con algoritmos, criptografía o complejidad computacional, conviene identificar cuáles de tus resultados se apoyan en el supuesto refutado y esperar el veredicto de verificadores independientes. Para los equipos de IA, la señal es distinta. Las matemáticas se convierten en un terreno de pruebas donde un modelo puede compararse no por un benchmark, sino por la reacción de expertos dispuestos a revisar cada línea. Si el contraejemplo resiste la verificación, los laboratorios tendrán un argumento para sostener que los modelos de lenguaje son capaces de encontrar conocimiento nuevo, y no solo de reformular el ya conocido. Si no la resiste, quedará otra lección: un resultado vistoso sin verificación independiente sigue siendo una nota de prensa.