El 26 de octubre de 2026, OpenAI anunció tres resultados que atribuye a modelos desarrollados por la empresa: una prueba de suavizado local en matemáticas, una refutación de la hipótesis del tiempo exponencial en informática y pruebas de existencia en física matemática. El anuncio describió un alcance y una vía de publicación distintos para cada área, según explicó OpenAI en su comunicado.
Tres campos, tres afirmaciones
OpenAI comunicó resultados en análisis armónico, complejidad computacional y física matemática. Estas son las afirmaciones y las fechas que la empresa dio para producir y formalizar los trabajos:
| Campo | Afirmación de OpenAI | Fechas comunicadas por OpenAI |
| Matemáticas | Prueba de la conjetura de suavizado local en cualquier dimensión; OpenAI dice que de ella se siguen las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. | Resultado en lenguaje natural: 18 de octubre de 2026. Formalización en Lean: 19 de octubre de 2026. |
| Informática teórica | Refutación de la hipótesis del tiempo exponencial (ETH). | Resultado en lenguaje natural: 16 de octubre de 2026. Formalización en Lean: 17 de octubre de 2026. |
| Física matemática | Pruebas de existencia para ciertas teorías cuánticas de campos interactivas en cuatro dimensiones, incluidas la cromodinámica cuántica (QCD) y una completación unificada del Modelo Estándar; también, existencia de la teoría pura de Yang–Mills. | Yang–Mills en lenguaje natural: 9 de septiembre de 2026. QCD en lenguaje natural: 18 de septiembre de 2026. Formalización en Lean de Yang–Mills: 16 de octubre de 2026. |
OpenAI dijo que publicó los trabajos de matemáticas y complejidad en lenguaje natural y en Lean, un asistente de demostración que permite formalizar pruebas. Para la física, el grupo externo optó por aplazar la publicación del material generado por IA y preparar una exposición propia.
Qué sostiene OpenAI sobre el suavizado local
La afirmación matemática central se refiere a la conjetura de suavizado local. OpenAI dice que su modelo produjo una prueba válida en cualquier dimensión y que de ella se derivan las conjeturas de Kakeya y de restricción de Stein, también en todas las dimensiones. Así queda más claro qué teorema presenta la empresa como resultado principal y cuáles señala como consecuencias.
La evaluación de este tipo de afirmaciones matemáticas también aparece en la cobertura anterior de NeoTeo sobre una afirmación de OpenAI relativa a Navier–Stokes.
ETH: la afirmación teórica y sus implicaciones
ETH es la sigla inglesa de la hipótesis del tiempo exponencial, una conjetura de complejidad computacional. OpenAI afirma que su sistema la refutó y que el resultado se formalizó en Lean. La empresa no afirma con ello haber demostrado que P = NP; además, dice que hacen falta nuevas investigaciones para encontrar algoritmos y traducir el resultado teórico en mejoras prácticas.
En su anuncio, OpenAI dijo que Russell Impagliazzo, Ramamohan Paturi y Ryan Williams codirigirían un grupo externo para verificar y estudiar el trabajo. La publicación de los materiales de matemáticas y ETH permite que otras personas examinen esas afirmaciones; la formalización en Lean es una parte del proceso, no una declaración sobre sus consecuencias prácticas.
Qué abarcan las afirmaciones sobre QCD y Yang–Mills
OpenAI describe pruebas de existencia para ciertas teorías cuánticas de campos interactivas en cuatro dimensiones, entre ellas QCD, además de una completación unificada del Modelo Estándar. Una prueba de existencia establece que un objeto matemático de ese tipo existe. La empresa también incluye una prueba de existencia para la teoría pura de Yang–Mills.
OpenAI comunicó que el grupo de física, dirigido por David Gross, decidió aplazar la publicación del material generado por IA y preparar su propia exposición. La afirmación sobre Yang–Mills se refiere a la existencia de la teoría; OpenAI no la presentó como una prueba del gap de masa ni como la resolución completa del problema del Milenio de Yang–Mills.
