Tres afirmaciones ponen bajo escrutinio décadas de investigación
OpenAI anunció el 26 de octubre de 2026 que sus modelos de IA habían elaborado demostraciones que abordan tres problemas de larga data en matemáticas, ciencias de la computación y física, incluido un desafío a una hipótesis computacional utilizada en cientos de artículos de investigación. La empresa publicó sus materiales de matemáticas y computación, mientras que un grupo encabezado por David Gross, ganador del Nobel de Física, examinará el trabajo de física antes de publicar su propia explicación.
Contenido
- Tres afirmaciones ponen bajo escrutinio décadas de investigación
- Qué pretende explicar la demostración sobre ondas
- El papel de la geometría y las frecuencias
- Por qué importa el resultado sobre computación
- Qué deberán determinar los investigadores sobre el algoritmo
- La física aborda los fundamentos de las teorías de partículas
- De los resultados del modelo al anuncio
- El papel de la verificación formal en la revisión científica
- El acceso, la financiación y el reconocimiento entran en el debate
- Puntos clave
La afirmación sobre computación se refiere a la Hipótesis del Tiempo Exponencial (ETH, por sus siglas en inglés), propuesta en 1999. OpenAI afirma que su modelo encontró un algoritmo que contradice la hipótesis al resolver una familia concreta de problemas lógicos más rápido de lo que esta permite. Russell Impagliazzo y Ramamohan Paturi, dos investigadores que contribuyeron a proponer la ETH, encabezarán un examen independiente junto con Ryan Williams, profesor del MIT.
En matemáticas, la empresa afirma haber demostrado la conjetura de suavizado local de Christopher Sogge, propuesta en 1991, para la ecuación de ondas euclidiana en todas las dimensiones espaciales de dos o más. OpenAI sostiene que la demostración también arroja resultados sobre las conjeturas de Kakeya y la conjetura de restricción de Stein, y vincula el movimiento de las ondas con preguntas difíciles sobre geometría y frecuencias.
La afirmación sobre física se refiere a la existencia matemática de ciertas teorías cuánticas de campos con interacciones en cuatro dimensiones, incluida la cromodinámica cuántica (QCD), que describe las interacciones entre quarks y gluones. OpenAI también afirma que el trabajo abarca la teoría pura de Yang-Mills y una versión unificada concreta que completa el Modelo Estándar de la física de partículas.
La revisión independiente es el siguiente paso en los tres proyectos. Los investigadores examinarán los argumentos, sus supuestos y las afirmaciones matemáticas precisas a las que se refieren. El anuncio no fijó un plazo para completar esas revisiones ni para publicar los materiales de física que se mantienen reservados.
Qué pretende explicar la demostración sobre ondas
La conjetura de suavizado local de Sogge se refiere al grado en que las ondas pueden concentrarse a medida que se propagan. Una onda puede enfocarse intensamente en un momento determinado. La conjetura describe los límites matemáticos de esa concentración cuando se mide su comportamiento durante un intervalo de tiempo.
Imagine que observa una onda mediante una secuencia de fotografías, en lugar de juzgarla por su imagen más llamativa. Una sola imagen podría mostrar un pico intenso, mientras que la secuencia revelaría cuánto dura ese pico. Los matemáticos expresan esta relación mediante estimaciones para las soluciones de la ecuación de ondas, la ecuación que describe cómo se propagan las ondas.
OpenAI afirma que su argumento introduce una nueva ecuación diferencial parcial auxiliar. Este tipo de ecuación describe cómo cambian ciertas magnitudes en el espacio y el tiempo; una ecuación auxiliar sirve como herramienta adicional para estudiar el problema original. La empresa sostiene que este método establece las estimaciones necesarias en todas las dimensiones espaciales de dos o más.
El alcance que se atribuye al resultado amplía un importante avance anterior. Larry Guth, Hong Wang y Ruixiang Zhang demostraron el suavizado local en dos dimensiones espaciales en 2019. El anuncio de OpenAI se refiere a un argumento general que también abarca dimensiones superiores, en vez de a otro resultado limitado a una sola dimensión.
El papel de la geometría y las frecuencias
El problema de Kakeya pregunta qué tan pequeño puede ser un conjunto que contiene un segmento de recta de longitud unitaria en cada dirección. Su dificultad radica en la diferencia entre el volumen ordinario y la dimensión matemática. Un conjunto puede ocupar muy poco volumen y, aun así, tener una estructura compleja que los matemáticos miden mediante la dimensión.
Hong Wang y Joshua Zahl establecieron en 2025 un importante resultado sobre la conjetura de Kakeya en tres dimensiones. OpenAI afirma que su nuevo argumento sobre ondas permite demostrar tanto la conjetura maximal de Kakeya como la conjetura de la dimensión de Kakeya en distintas dimensiones. Si la demostración supera la revisión, ampliaría considerablemente el alcance de aquel avance.
La conjetura de restricción de Stein forma parte de la misma red de problemas. Se refiere al comportamiento de la información sobre frecuencias cuando se restringe a superficies curvas. La descripción detallada de OpenAI afirma que obtiene estimaciones de restricción esférica en todo el interior del rango conjeturado. Esta formulación precisa el rango de estimaciones que los investigadores deberán examinar al evaluar la afirmación más amplia sobre la conjetura de Stein.
Por qué importa el resultado sobre computación
La Hipótesis del Tiempo Exponencial se refiere a la satisfacibilidad booleana, un problema basado en variables que pueden ser verdaderas o falsas. Una fórmula establece reglas para combinar esas variables, y la tarea consiste en determinar si existe alguna asignación de valores que haga que todas las reglas se cumplan.
En 3-SAT, cada cláusula contiene como máximo tres términos. Una cláusula podría exigir que al menos una de tres afirmaciones sea verdadera, mientras que la fórmula completa requiere que se cumplan todas las cláusulas. A medida que aumenta el número de variables, el número de asignaciones posibles se duplica con cada variable adicional: 10 variables permiten 1.024 asignaciones, mientras que 20 permiten 1.048.576.
La ETH sostiene que, en el peor de los casos, resolver 3-SAT requiere un tiempo que crece exponencialmente con el número de variables. Impagliazzo, Paturi y Francis Zane contribuyeron a formular la hipótesis en 1999. Desde entonces, los investigadores la han utilizado como supuesto para explicar por qué muchos problemas de teoría de grafos, biología computacional, bases de datos y geometría computacional no admiten soluciones más rápidas.
La afirmación de OpenAI es más concreta que una promesa general de computación más rápida. La empresa sostiene que su modelo produjo un algoritmo determinista que cuenta exactamente las asignaciones que satisfacen fórmulas en forma normal conjuntiva con un ancho de cláusula fijo. La forma normal conjuntiva consiste en una disposición de cláusulas que deben cumplirse todas; el ancho fijo impone un límite constante al número de términos de cada cláusula.
El algoritmo propuesto utiliza tiempo subexponencial y espacio polinómico. El crecimiento subexponencial es más lento que el crecimiento exponencial que la ETH exige para 3-SAT. El espacio polinómico significa que el uso de memoria queda limitado por una potencia fija del tamaño de la entrada. Contar las asignaciones que satisfacen la fórmula también responde a la pregunta más sencilla sobre su existencia: una cantidad superior a cero significa que la fórmula puede satisfacerse.
Qué deberán determinar los investigadores sobre el algoritmo
Cientos de artículos utilizan la ETH para establecer límites condicionales a los algoritmos. Sus conclusiones suelen formularse así: si la ETH es válida, un problema concreto no puede resolverse dentro de un límite de tiempo determinado. Si la refutación se acepta, los investigadores tendrían que revisar los supuestos que sustentan esos límites.
La computación práctica plantea otro desafío. Los investigadores tendrían que comprender las constantes del algoritmo, sus requisitos de implementación y su comportamiento con entradas de tamaños útiles. Un mejor ritmo de crecimiento matemático aún puede implicar un tiempo de computación considerable, sobre todo para los tamaños de problema que aparecen en aplicaciones reales.
P frente a NP plantea una pregunta distinta: si todo problema cuya respuesta propuesta puede comprobarse eficientemente también puede resolverse eficientemente. En este contexto, «eficientemente» suele significar en tiempo polinómico. Un algoritmo subexponencial pertenece a una categoría más amplia, por lo que la revisión se centrará en la velocidad exacta que se afirma y en sus consecuencias para la ETH.
Impagliazzo y Paturi, ambos de la Universidad de California en San Diego, junto con Williams, organizarán el examen independiente. En una carta abierta a la comunidad investigadora, los tres científicos de la computación describieron el cuidado que requiere el proceso:
«Nuestra participación no debe interpretarse como una certificación de la afirmación. Un resultado de esta importancia requiere un escrutinio cuidadoso e independiente».
La física aborda los fundamentos de las teorías de partículas
La teoría cuántica de campos describe las partículas y sus interacciones mediante campos que se extienden por el espacio y el tiempo. La afirmación de OpenAI sobre física se refiere a teorías con interacciones que incluyen campos gauge y fermiones en cuatro dimensiones, que suelen entenderse como tres dimensiones espaciales y una temporal.
La QCD describe la interacción fuerte entre quarks y gluones. Los quarks son componentes de los protones y los neutrones, mientras que los gluones transmiten la fuerza fuerte. Los físicos ya utilizan la QCD para explicar fenómenos observados. La tarea matemática en este caso consiste en construir la teoría rigurosamente y establecer que los objetos que la definen existen bajo condiciones precisas.
OpenAI afirma que el trabajo se basa en un método desarrollado por Tadeusz Balaban en el campo de la teoría cuántica de campos constructiva. Esta disciplina busca construir teorías cuánticas de manera matemáticamente controlada y proporcionar así fundamentos para las magnitudes que calculan los físicos.
La afirmación también incluye la teoría pura de Yang-Mills. El problema de existencia de Yang-Mills y brecha de masa del Instituto de Matemáticas Clay exige tanto una construcción rigurosa como una brecha de masa positiva, es decir, una energía positiva mínima que separe el vacío de la excitación más ligera. El resultado anunciado por OpenAI aborda la existencia; el requisito de la brecha de masa sigue siendo una parte adicional del problema del premio.
Gross, ganador del Premio Nobel de Física en 2004, encabezará el grupo de física. Los demás integrantes son Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov. A petición del grupo, los materiales de IA se mantienen reservados mientras los investigadores preparan su propio informe sobre el trabajo.
De los resultados del modelo al anuncio
OpenAI sitúa los descubrimientos que reivindica entre septiembre y octubre de 2026. La secuencia distingue entre la generación de argumentos escritos y su posterior formalización en Lean, un sistema que verifica demostraciones expresadas en un lenguaje matemático preciso.
- 9 de septiembre: El modelo generó la demostración de existencia propuesta para la teoría pura de Yang-Mills.
- 18 de septiembre: El modelo generó la demostración propuesta para la QCD.
- 6 de octubre: OpenAI publicó 722 manuscritos matemáticos en una entrega anterior de investigación.
- 16 de octubre: El modelo generó la refutación de la ETH y se completó la formalización en Lean de la demostración de existencia de Yang-Mills.
- 17 de octubre: Se completó la formalización en Lean del argumento sobre la ETH.
- 18 de octubre: El modelo generó el argumento sobre suavizado local.
- 19 de octubre: Se completó la formalización en Lean del argumento matemático.
- 26 de octubre: OpenAI anunció los tres proyectos y las modalidades de revisión.
Los informes y las demostraciones formales de matemáticas y ciencias de la computación se publicaron en GitHub. El grupo de física optó por una secuencia distinta: primero presentará su explicación y después publicará los materiales subyacentes de IA.
El papel de la verificación formal en la revisión científica
Lean permite redactar una demostración como una secuencia de afirmaciones precisas que un programa verifica de acuerdo con definiciones y reglas lógicas. Esto permite examinar razonamientos complejos con un nivel de detalle difícil de mantener en la prosa habitual.
Los revisores humanos también examinan cómo se corresponden las definiciones formales con la pregunta de investigación original, qué supuestos utiliza la demostración y cómo se relaciona el resultado con trabajos anteriores. En el caso de la afirmación sobre computación, esto incluye comprender el algoritmo y su tiempo de ejecución. En el caso de la afirmación sobre ondas, incluye las dimensiones y los rangos de las estimaciones que abarca.
OpenAI describe los resultados del modelo como datos de investigación sin procesar que deben transformarse en conocimiento científico. Las tres modalidades de publicación asignan esa tarea de distintas formas: examen abierto para las matemáticas, un grupo organizado junto con acceso público para las ciencias de la computación y una explicación inicial a cargo de un grupo seleccionado para la física.
Williams dijo que los revisores de computación no firmaron acuerdos de confidencialidad ni recibirían remuneración. OpenAI aceptó sus solicitudes de publicar los datos sin procesar sobre la ETH y financiar una conferencia en la que los investigadores pudieran examinar la afirmación. Los participantes externos pueden llegar a sus propias conclusiones y publicarlas con independencia de la empresa.
El acceso, la financiación y el reconocimiento entran en el debate
El anuncio de OpenAI llega tras las críticas a la publicación anterior de cientos de manuscritos matemáticos y al trabajo necesario para evaluarlos. Las nuevas modalidades incorporan al proceso a académicos identificados, pero también abren un debate sobre quién tiene acceso primero.
El panel asesor de matemáticas AGMAI de la empresa recomendó no dar acceso anticipado a los resultados de IA a investigadores seleccionados. Entre sus inquietudes figuraban el acceso desigual, el sesgo de selección y la posibilidad de que la reputación de investigadores destacados diera credibilidad a trabajos antes de que concluyera su examen.
El panel recomendó publicar los resultados en repositorios académicos, junto con formalizaciones en Lean e información sobre cómo se eligieron los problemas. También pidió apoyo para los investigadores que comprueban y explican los resultados. El contraste con los materiales de física que se mantienen reservados convierte el acceso en un asunto concreto de este anuncio.
OpenAI afirma que no busca reconocimiento académico por los descubrimientos y que quiere que los investigadores reciban reconocimiento por las explicaciones que elaboren. En la carta de los revisores de computación se pregunta cómo debería reconocerse el mérito de los descubrimientos junto con el de verificar, corregir, simplificar, explicar y ampliar un resultado. También se pregunta cómo pueden recibir apoyo los estudiantes y los investigadores a medida que cambian los métodos de investigación.
Una contribución de 5 millones de dólares anunciada anteriormente a la Fundación Simons busca financiar talleres, conferencias y programas de investigación sobre resultados de IA. Financiar estas actividades ayudaría a distribuir la tarea de examinarlos más allá de los pequeños grupos mencionados en el anuncio.
Puntos clave
- OpenAI anunció tres avances que afirma haber logrado el 26 de octubre de 2026. Aún se requiere un examen independiente.
- La afirmación matemática abarca el suavizado local en todas las dimensiones espaciales de dos o más, además de otros resultados propuestos sobre Kakeya y restricción.
- La afirmación sobre computación plantea un algoritmo que refutaría la Hipótesis del Tiempo Exponencial si se verifica.
- Russell Impagliazzo, Ramamohan Paturi y Ryan Williams encabezan el examen independiente de la ETH.
- David Gross encabeza la revisión de física, que abarca demostraciones de existencia propuestas, incluidas las de la QCD y la teoría pura de Yang-Mills.
- Los materiales de matemáticas y computación son públicos. Los de física se mantienen reservados mientras los investigadores preparan una explicación.
- No se anunció un plazo para completar las revisiones ni para publicar los materiales de física.
