OpenAI anunció el 26 de octubre de 2026 tres resultados que atribuye a sus modelos internos, en matemáticas, informática teórica y física. La empresa los presentó como avances sobre la conjetura de suavización local, la hipótesis del tiempo exponencial (ETH) y la existencia de ciertas teorías cuánticas de campos. También describió distintas vías para publicar y examinar los trabajos en cada área, según su anuncio.
OpenAI ya había planteado otra iniciativa matemática: publicar cientos de resultados en GitHub, un plan del que informó NeoTeo. El anuncio del 26 de octubre reúne tres afirmaciones en campos distintos y describe rutas de publicación específicas.
Tres afirmaciones y tres vías de publicación
| Área | Qué afirma OpenAI | Vía de publicación anunciada |
| Matemáticas | Que sus modelos demostraron la conjetura de suavización local en todas las dimensiones y, como consecuencia, las conjeturas de Kakeya y de restricción de Stein. | OpenAI publicó la salida en lenguaje natural y la prueba formalizada en Lean para su examen. |
| Informática teórica | Que su sistema refutó ETH, una conjetura sobre la complejidad de la satisfacibilidad de fórmulas booleanas. | Se publicaron la demostración en lenguaje natural y su formalización en Lean; un grupo externo se encargaría de explicar y examinar el resultado. |
| Física | Que el trabajo demuestra la existencia de ciertas teorías cuánticas de campos interactivas en cuatro dimensiones, incluida la cromodinámica cuántica (QCD), y de Yang–Mills puro. | El grupo de física decidió retener los artefactos producidos por la IA mientras preparaba su propio escrito. |
Qué afirma OpenAI en matemáticas y sobre ETH
La afirmación matemática parte de la conjetura de suavización local, que Christopher Sogge propuso en 1991. OpenAI sostiene que su resultado la resuelve en todas las dimensiones y que de ello se desprenden también las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. La empresa atribuye el método a una nueva ecuación diferencial parcial auxiliar. Según la cronología de OpenAI, el modelo produjo la salida el 18 de octubre de 2026 y la formalización en Lean quedó lista el 19 de octubre.
Lean es un asistente de demostración formal. OpenAI dice que también formalizó en ese sistema su afirmación sobre ETH: la salida en lenguaje natural se produjo el 16 de octubre y la formalización en Lean, el 17.
La refutación de ETH no equivale a afirmar que P = NP. OpenAI describe ETH como una conjetura sobre la complejidad de resolver fórmulas booleanas, relacionada con el problema P frente a NP. La compañía plantea que su resultado puede orientar la búsqueda de algoritmos mejores, pero dice que encontrar esos algoritmos y convertir el avance teórico en mejoras prácticas requerirá mucha más investigación.
El alcance de la afirmación sobre física
OpenAI describe un resultado de existencia para ciertas teorías cuánticas de campos con interacción, en cuatro dimensiones y con campos de gauge y fermiones. Entre ellas incluye QCD y una completación unificada del Modelo Estándar. La empresa también afirma que su trabajo abarca la existencia de Yang–Mills puro, un subproblema del problema del Clay Mathematics Institute sobre Yang–Mills y la brecha de masa. La afirmación anunciada no se extiende a esa brecha, que forma parte del problema completo.
OpenAI sitúa la salida en lenguaje natural de Yang–Mills el 9 de septiembre de 2026, la de QCD el 18 de septiembre y la formalización en Lean de Yang–Mills el 16 de octubre. Para los artefactos de física, el grupo decidió preparar primero su propio escrito y retener mientras tanto los materiales producidos por la IA.
Quiénes participan en las colaboraciones
OpenAI nombró a Russell Impagliazzo, Ramamohan Paturi y Ryan Williams para dirigir la colaboración sobre ETH. David Gross dirige el grupo de física, integrado también por Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov. La empresa dijo que la participación es voluntaria y no remunerada, y que los colaboradores trabajan de manera independiente.
Las rutas anunciadas difieren por campo: en matemáticas, OpenAI publicó la salida para que investigadores pudieran examinarla; en informática teórica, el grupo externo eligió publicar la prueba y su formalización; en física, el grupo optó por preparar un escrito propio antes de difundir los artefactos de IA.
