OpenAI afirma que sus modelos de inteligencia artificial han conseguido desarrollar pruebas matemáticas para tres problemas abiertos de la investigación científica. Los resultados anunciados abarcan la complejidad computacional, una conjetura matemática planteada hace décadas y la existencia de determinadas teorías cuánticas de campos.
Según informó The Decoder el 27 de octubre de 2026, las afirmaciones podrían tener consecuencias importantes en distintas disciplinas si las demostraciones superan el examen de los especialistas.
Sin embargo, la revisión independiente todavía no ha concluido. OpenAI ha establecido diferentes mecanismos de evaluación para cada resultado, con investigadores externos encargados de analizar las pruebas y determinar su validez.
Informática: una posible refutación de la Hipótesis del Tiempo Exponencial
El primero de los resultados anunciados corresponde a la Hipótesis del Tiempo Exponencial (ETH), relacionada con la complejidad computacional del problema SAT.
OpenAI sostiene que sus modelos han elaborado una demostración que refuta esta hipótesis, utilizada como fundamento en numerosos trabajos de informática teórica.
Si la prueba resulta correcta, cientos de investigaciones que dependen de la ETH perderían la base sobre la que se apoyan. Esto no significa que todos esos trabajos quedarían automáticamente refutados, sino que sus argumentos basados en dicha hipótesis dejarían de contar con ese fundamento.
Para evaluar el resultado se ha formado un grupo integrado por Ryan Williams, del MIT, y Russell Impagliazzo y Ramamohan Paturi, de UC San Diego. Estos dos últimos participaron, junto con Francis Zane, en la formulación original de la ETH.
Los investigadores trabajan sin acuerdos de confidencialidad ni remuneración y hacen públicos sus hallazgos provisionales. También han aclarado que formar parte de la revisión no supone respaldar las afirmaciones de OpenAI.
La compañía ha trasladado la demostración al lenguaje formal Lean, como parte de su presentación del resultado.
¿Qué implicaría para la resolución de problemas SAT?
Ryan Williams ha señalado que todavía resulta incierto qué cambios percibirían primero los desarrolladores si la refutación se confirma.
Según su valoración, existen dos escenarios plausibles para los próximos 12 meses: que se produzcan avances importantes en la resolución práctica de problemas SAT o que no aparezca ningún progreso significativo.
La posible refutación de la ETH representa, por tanto, una afirmación de gran alcance teórico, mientras que sus consecuencias prácticas siguen siendo inciertas.
Matemáticas: una demostración de la conjetura de suavizado local
El segundo resultado se refiere a la conjetura de suavizado local (local smoothing), propuesta por el matemático Christopher Sogge en 1991.
Hasta ahora, esta conjetura se había demostrado únicamente en dos dimensiones, mediante un resultado obtenido en 2019 por Guth, Wang y Zhang.
OpenAI afirma que sus modelos han encontrado una demostración válida para todas las dimensiones.
De confirmarse, el resultado también permitiría establecer la conjetura de Kakeya y la conjetura de restricción de Stein, dos problemas matemáticos relacionados.
A diferencia del caso de la ETH, OpenAI no ha establecido un grupo específico de revisores para esta demostración.
En su lugar, publicó directamente el texto de la prueba y su correspondiente formalización en Lean, poniendo ambos materiales a disposición del análisis matemático.
La afirmación permanece pendiente de revisión independiente, al igual que los demás resultados anunciados.
Física: pruebas sobre la existencia de teorías cuánticas de campos
El tercer conjunto de resultados corresponde a la física matemática y aborda la existencia de determinadas teorías cuánticas de campos en cuatro dimensiones.
OpenAI afirma haber obtenido demostraciones relacionadas con tres teorías:
- Yang-Mills: en una formulación que incluye únicamente gluones, sin quarks.
- Cromodinámica cuántica: incorpora también los quarks.
- Teoría de gran unificación: la afirmación se refiere a su versión más simple.
El resultado sobre Yang-Mills tiene una distinción importante: OpenAI sostiene que ha resuelto solamente la parte correspondiente a la existencia matemática de la teoría.
Esto significa que el problema de la brecha de masa (mass gap) permanece fuera de la solución anunciada y que el Problema del Milenio relacionado con Yang-Mills no queda completamente resuelto.
La compañía también ha traducido a Lean la demostración relativa a Yang-Mills.
Un grupo de revisión encabezado por un premio Nobel
La evaluación de los resultados de física está a cargo de un grupo liderado por David Gross, galardonado con el Premio Nobel de Física en 2004 por sus contribuciones relacionadas con la libertad asintótica.
El equipo también incluye a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov.
Este grupo ha optado por mantener, por el momento, los materiales producidos por la inteligencia artificial bajo su control mientras prepara la redacción de sus resultados.
Este procedimiento contrasta con la publicación directa de la demostración matemática y con el modelo de revisión abierta establecido para la ETH.
La valoración definitiva de los especialistas continúa pendiente.
OpenAI en contexto
OpenAI sostiene que no pretende atribuirse el crédito científico por las demostraciones generadas por sus modelos. Según su planteamiento, el reconocimiento debe corresponder a los grupos de investigadores que expliquen los resultados.
La compañía también ha prometido una aportación de 5 millones de dólares a la Simons Foundation para financiar talleres y conferencias.
Además, OpenAI reconoce que la elección de los primeros investigadores encargados de revisar las demostraciones influye en quiénes conocen los resultados antes que otros especialistas.
Los tres anuncios presentan diferentes procedimientos de revisión y publicación, mientras la comunidad científica examina el alcance de las afirmaciones.
La conclusión sobre la validez de las demostraciones sigue pendiente de la revisión independiente.
