OpenAI presenta tres hallazgos científicos de su IA

OpenAI anuncia tres resultados generados por sus modelos en matemáticas, informática teórica y física. Las afirmaciones incluyen una prueba de la conjetura de Kakeya en cualquier dimensión, una refutación de la Exponential Time Hypothesis y una prueba matemática sobre la existencia de teorías cuánticas como la cromodinámica cuántica.

La empresa no presenta estos trabajos como conclusiones cerradas para el público general. Los describe como datos de investigación en bruto que necesitan ser revisados, explicados y puestos en contexto por especialistas externos.

Tres resultados, tres formas de publicarlos

OpenAI consultó a investigadores para decidir cómo compartir cada hallazgo. El resultado es un experimento con tres modelos de colaboración diferentes:

• En matemáticas, publica directamente el texto generado por la IA y su formalización.
• En informática teórica, forma un grupo externo para examinar y explicar el resultado, mientras libera todos los materiales.
• En física, deja que un grupo de expertos decida qué materiales publicar y cuándo hacerlo.

La formalización se realiza en Lean, un sistema que permite expresar una demostración matemática en un lenguaje que puede comprobarse automáticamente. Esto no sustituye la revisión científica, pero ayuda a detectar pasos inválidos o errores formales.

OpenAI afirma que los colaboradores no firmarán acuerdos de confidencialidad, podrán publicar sus conclusiones y no recibirán pago por participar. Tampoco se les atribuirá el descubrimiento original: su reconocimiento corresponderá al trabajo de entenderlo, explicarlo y desarrollar nuevas consecuencias.

Una nueva prueba sobre ondas y geometría

El resultado matemático aborda la conjetura de suavizado local de Sogge, formulada en 1991. En términos sencillos, estudia cómo se concentran las ondas y sostiene que los focos más extremos deben durar poco tiempo.

La conjetura tiene consecuencias importantes en otras áreas del análisis matemático. Entre ellas están la conjetura de Kakeya y la conjetura de restricción de Stein, dos problemas relacionados con la geometría de conjuntos y el comportamiento de las ondas.

OpenAI asegura que sus modelos produjeron una demostración para todas las dimensiones. Según la empresa, eso resolvería también esas dos conjeturas en cualquier dimensión. El resultado se generó el 18 de octubre de 2026, se formalizó en Lean al día siguiente y ya está disponible junto con el texto explicativo producido por la IA.

La IA cuestiona una conjetura central de la informática

El segundo resultado afecta a la Exponential Time Hypothesis, una conjetura muy utilizada en complejidad computacional. Esta rama de la informática estudia cuántos recursos necesita un algoritmo para resolver un problema.

La hipótesis sostiene, de forma simplificada, que ciertos problemas no pueden resolverse mucho más rápido de lo que permiten los mejores métodos conocidos. Durante años se ha usado para demostrar límites condicionales en campos como la teoría de grafos, la biología computacional y las bases de datos.

OpenAI afirma que su sistema encontró una refutación de la hipótesis y que el resultado fue formalizado posteriormente en Lean. El texto natural se generó el 16 de octubre de 2026 y la formalización terminó el 17 de octubre.

El hallazgo será revisado por un grupo dirigido por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams, especialistas en algoritmos y teoría de la complejidad. Si la refutación resiste el análisis, podría reabrir la búsqueda de algoritmos más rápidos. Eso no significa que esos algoritmos prácticos existan todavía.

Un posible avance en física matemática

El tercer trabajo se ocupa de la teoría cuántica de campos, el marco matemático usado para describir partículas y fuerzas fundamentales. OpenAI asegura que sus modelos produjeron una prueba rigurosa de la existencia de ciertas teorías con campos gauge y fermiones en cuatro dimensiones.

El resultado incluiría la cromodinámica cuántica, que describe la fuerza fuerte entre partículas como quarks y gluones, además de una posible extensión unificada del Modelo Estándar. También incluye un resultado sobre la existencia de la teoría pura de Yang-Mills, relacionada con uno de los problemas del milenio del Clay Mathematics Institute.

El trabajo será supervisado por un grupo liderado por David Gross, junto con Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov. A diferencia del resultado matemático, OpenAI explica que por ahora no publicará los materiales producidos por la IA: el grupo trabajará primero en su propia exposición.

La prueba de Yang-Mills se formalizó el 16 de octubre de 2026, después de que los modelos generaran resultados sobre Yang-Mills y cromodinámica cuántica en septiembre.

Qué cambia para ti

Estos anuncios no se traducen mañana en una aplicación para tu móvil. Su importancia está en otro sitio: si las pruebas son correctas, podrían modificar conocimientos básicos sobre algoritmos, geometría y física de partículas.

El reto principal es la verificación independiente. Que una IA genere una demostración y que esta pase por Lean aporta una comprobación relevante, pero todavía hace falta que otros expertos entiendan el razonamiento, revisen sus supuestos y determinen qué consecuencias tiene.

OpenAI financiará además conferencias y talleres a través de una aportación de 5 millones de dólares a la Fundación Simons. La empresa plantea estos grupos como una forma de acelerar la investigación sin adjudicarse crédito académico por los descubrimientos.

Lo que habrá que vigilar ahora no es solo si las pruebas son correctas, sino cómo responde la comunidad científica: quién puede examinarlas, cuánto tiempo tarda en entenderlas y si producen nuevas ideas útiles. La IA ya puede proponer resultados que parecen situarse en la frontera del conocimiento; el siguiente paso es demostrar que esos resultados sobreviven al escrutinio humano.