OpenAI afirma que su IA resolvió tres grandes problemas de matemáticas y física

OpenAI anunció el 26 de octubre que sus modelos internos produjeron tres resultados en matemáticas, informática teórica y física. De confirmarse, cerrarían preguntas abiertas desde hace décadas. La empresa no pide que se le crea sin más: entregó el material a grupos de expertos externos para que lo examinen. Por ahora son afirmaciones de OpenAI, pendientes de una revisión independiente que acaba de empezar.

El resultado más llamativo toca la hipótesis del tiempo exponencial. Esta conjetura sostiene que ciertos problemas de lógica no pueden resolverse mucho más rápido que probando casi todas las combinaciones posibles. Se ha usado como supuesto en cientos de artículos para concluir que otros problemas también son difíciles. OpenAI asegura que su sistema demostró que la hipótesis es falsa, lo que reabre la pregunta de cuánto pueden acelerarse esas tareas.

La empresa matiza el alcance práctico. Encontrar algoritmos nuevos y convertir el avance teórico en mejoras reales exigirá, según su texto, mucha más investigación. El modelo halló la refutación el 16 de octubre y al día siguiente se formalizó en Lean. Lean es un programa que comprueba paso a paso, de forma automática, que cada razonamiento de una demostración es correcto.

La revisión de ese resultado la dirigirán Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego, y Ryan Williams, del MIT. Impagliazzo y Paturi propusieron la hipótesis junto con Francis Zane. El grupo pidió que todos los datos en bruto sean públicos para facilitar la verificación. También pidió que OpenAI financie una conferencia sobre las consecuencias del hallazgo, y la empresa aceptó ambas condiciones.

El segundo resultado es de matemática pura. En 1991 el matemático Sogge propuso la conjetura de suavizado local, que describe cómo se comportan las ondas cuando se concentran. Según OpenAI, sus modelos la demostraron en todas las dimensiones, lo que también resolvería las conjeturas de Kakeya y de restricción de Stein. Hasta ahora había pruebas parciales, como la de Kakeya en tres dimensiones que Wang y Zahl publicaron en 2025.

El tercero es de física. OpenAI afirma tener una prueba matemática rigurosa de que existen ciertas teorías cuánticas de campos en cuatro dimensiones. Entre ellas está la cromodinámica cuántica, que describe cómo interactúan quarks y gluones mediante la fuerza nuclear fuerte. El trabajo incluye además la existencia de la teoría pura de Yang-Mills, parte de uno de los problemas del milenio del Instituto Clay.

Cada resultado sigue un camino distinto. La demostración matemática y la de informática ya están en el repositorio público de OpenAI en GitHub, con su versión en Lean. En física, un grupo encabezado por el premio nobel David Gross decidió no publicar aún el material generado por la IA y redactar primero su propia explicación. Lo integran también Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov.

OpenAI fijó reglas para esas colaboraciones. Los participantes no firman acuerdos de confidencialidad, trabajan de forma voluntaria y sin pago, y sus conclusiones son propias. La empresa dice que no busca crédito académico por los descubrimientos. Reconoce, además, que elegir a los primeros revisores crea una ventaja de información para ellos.

Como análisis, la formalización en Lean reduce mucho el riesgo de errores lógicos, pero no lo elimina todo. Queda por comprobar que los enunciados formalizados digan exactamente lo que afirman los textos y que no haya supuestos ocultos. Lo que sigue son los informes de los tres grupos y la conferencia prometida. Sus conclusiones dirán si se trata de un hito científico o de resultados que necesitan corrección.