OpenAI afirma que su IA refutó una hipótesis de 30 años de la informática teórica

OpenAI anunció el 26 de octubre que su modelo refutó una suposición de la informática teórica que se consideró válida durante casi 30 años y que sirvió de base para toda una serie de trabajos. La particularidad de esta historia está en la reacción de los científicos. Dos investigadores que alguna vez propusieron esta hipótesis no desecharon la afirmación. Se están preparando para reunir a colegas y verificar juntos el contraejemplo que propuso la IA. Según informó Jiqizhixin, ese mismo día la compañía también declaró haber resuelto la conjetura de Kakeya, uno de los problemas conocidos de la teoría geométrica de la medida.

Un segundo golpe matemático en poco tiempo

El debate sobre la tanda anterior de resultados todavía no ha terminado. Antes, OpenAI mostró 22 manuscritos matemáticos, y la comunidad analizó su calidad, originalidad y el aporte humano en la obtención de las formulaciones finales. El nuevo anuncio lleva la conversación en otra dirección. Antes, la IA avanzaba principalmente en terrenos donde hace falta probar muchas variantes o completar con cuidado un esquema de demostración conocido. Ahora se trata de una afirmación según la cual el modelo encontró la razón por la que una hipótesis bien establecida es falsa.

Para la informática teórica, este tipo de resultado es especialmente delicado. Hipótesis como esta suelen funcionar como supuestos tácitos: sobre ellas se construyen resultados condicionales del tipo «si A es verdadero, entonces B». Si A cae, toda una cadena de deducciones debe revisarse, y no todas necesariamente se derrumban, pero cada una tendrá que verificarse de nuevo.

Por qué la verificación la harán los propios autores

Lo más interesante es la postura de aquellos cuya hipótesis fue cuestionada. Dos investigadores que la propusieron hace casi 30 años están organizando la verificación junto con colegas. Para la ciencia, esta es una reacción habitual y la más saludable: por naturaleza, un contraejemplo es más fácil de verificar que de encontrar. Si es correcto, se puede comprobar a mano, reescribir con 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. El estatus cambiará cuando un grupo independiente confirme la construcción paso a paso, y los matemáticos no tienen motivos para apresurarse. Un escándalo reciente en torno a demostraciones generadas por IA ya le enseñó a la comunidad a distinguir entre una formulación atractiva y una afirmación verificada.

Lo que se sabe hasta el momento

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

Cómo interpretar noticias de este tipo

Si trabajas con algoritmos, criptografía o complejidad computacional, conviene identificar qué resultados propios 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 están convirtiendo en un terreno de pruebas donde el 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 de que los modelos de lenguaje son capaces de encontrar conocimiento nuevo, y no solo de repetir lo ya conocido. Si no la resiste, será otra lección más: un resultado atractivo sin verificación independiente sigue siendo solo un comunicado de prensa.