OpenAI afirma tres descubrimientos de IA en matemáticas, ciencias de la computación y física

OpenAI afirmó el 26 de octubre de 2026 que sus modelos produjeron tres nuevos resultados: una prueba de la conjetura de suavizado local en análisis armónico, una refutación de la Hipótesis del Tiempo Exponencial en ciencias de la computación, y una prueba de existencia para la cromodinámica cuántica en física [1]. Ninguna de las afirmaciones ha sido revisada por pares; grupos de expertos externos las examinarán ahora [1][3].

¿Qué afirma OpenAI que descubrieron sus modelos?

En matemáticas, OpenAI afirma que sus modelos probaron la conjetura de suavizado local de Sogge de 1991 en todas las dimensiones, lo que también resolvería la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones [1]. Trabajos humanos anteriores habían probado el suavizado local en dos dimensiones espaciales en 2019 y la conjetura de Kakeya en tres dimensiones en 2025 [1].

En física, OpenAI describe una prueba de existencia matemáticamente rigurosa de ciertas teorías de campos cuánticos en cuatro dimensiones, incluida la cromodinámica cuántica y una finalización unificada del Modelo Estándar [1]. Como subproblema, afirma que el trabajo prueba la existencia de la teoría de Yang-Mills pura, que forma parte de un problema del Premio del Milenio del Instituto de Matemáticas Clay [1]. Este material no ha sido publicado [1][3].

¿Por qué la afirmación sobre la Hipótesis del Tiempo Exponencial es tan significativa?

La Hipótesis del Tiempo Exponencial, o ETH, sostiene que decidir 3-SAT en n variables requiere tiempo exponencial en el peor de los casos [2]. OpenAI afirma que se ha creído ampliamente que la ETH es verdadera y se ha usado en cientos de artículos para derivar resultados de dureza condicional [1]. OpenAI afirma que sus modelos probaron que la Hipótesis del Tiempo Exponencial es falsa, una conjetura usada en cientos de artículos.

El preimpreso de 67 páginas, acreditado a OpenAI como autor, describe un algoritmo determinista que cuenta las asignaciones satisfactorias de fórmulas k-CNF en tiempo subexponencial y espacio polinomial [2]. OpenAI afirma que convertir el resultado en algoritmos prácticos más rápidos requerirá investigación adicional significativa [1].

¿Alguien ha verificado las pruebas?

OpenAI publicó sus pruebas de matemáticas y ciencias de la computación como preimpresos en GitHub; ninguna ha sido revisada por pares aún. OpenAI afirma que ambas vienen con formalizaciones en Lean, pruebas verificadas por máquina, también publicadas en su repositorio [1][2]. Su propia cronología indica que la refutación de la ETH se encontró el 16 de octubre y se formalizó el 17 de octubre de 2026 [1].

Un grupo liderado por Russell Impagliazzo y Ramamohan Paturi de UC San Diego y Ryan Williams de MIT verificará y guiará el resultado de la ETH [1]. Impagliazzo y Paturi, con Francis Zane, propusieron originalmente la hipótesis [1]. Para física, el premio Nobel David Gross liderará un grupo que incluye a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov [1].

¿Cómo está cambiando OpenAI la forma en que publica resultados?

OpenAI afirma que pidió a expertos externos que actuaran como guías, y estos aconsejaron tres estrategias de publicación diferentes: publicación abierta para matemáticas, un grupo externo más archivos públicos para ciencias de la computación, y deferir al grupo para física [1]. OpenAI afirma que no busca crédito académico y que grupos de expertos externos examinarán los resultados.

La participación es voluntaria y no remunerada, y OpenAI afirma que acordó financiar una conferencia sobre las implicaciones del resultado de la ETH [1]. The Verge señala que el propio panel de asesores de matemáticas de OpenAI acababa de recomendar no dar acceso prioritario a la salida de IA a personas seleccionadas [3]. OpenAI admite que elegir guías crea una asimetría de información [1].

La publicación llega menos de un mes después de que OpenAI publicara cientos de manuscritos escritos por IA el 6 de octubre, según The Verge [3]. OpenAI afirma que las nuevas colaboraciones complementan su contribución recientemente anunciada de 5 millones de dólares a la Fundación Simons, que financia talleres y programas para investigadores que estudian resultados de IA [1].

Nuestra lectura

Opinión: Si la refutación de la ETH se sostiene, es la mayor afirmación hasta ahora de las matemáticas impulsadas por IA, y poner a los proponentes originales de la hipótesis a cargo de verificarla es la decisión correcta. Pero una prueba en Lean solo certifica lo que se formalizó, y las afirmaciones extraordinarias publicadas por la empresa que se beneficia de ellas merecen el escrutinio lento y adversarial para el que existe la revisión por pares.

Lo que no pudimos verificar

• Si alguna de las tres pruebas afirmadas es correcta; todas son preimpresos escritos por IA o material no publicado, y no había publicación revisada por pares ni verificación independiente disponible en el momento de la publicación.
• Si las formalizaciones en Lean capturan las conjeturas originales completas; OpenAI afirma que las pruebas de ETH y suavizado local se verificaron en Lean, pero no pudimos comprobar las declaraciones formales nosotros mismos.
• La prueba de física para la teoría de Yang-Mills y la cromodinámica cuántica, que no ha sido publicada; nos basamos únicamente en la descripción de OpenAI.
• Qué modelo o sistema interno produjo las pruebas; OpenAI no lo nombra.
• Cualquier reacción registrada de los guías nombrados, como Russell Impagliazzo, Ryan Williams o David Gross; no encontramos ninguna declaración pública de ellos más allá de lo que OpenAI reporta.