Cientos de artículos de informática se basan en una conjetura que un modelo interno de OpenAI ahora afirma haber refutado, dijo la compañía el lunes. OpenAI anunció dos resultados más el mismo día, uno en matemáticas y otro en física.
en un publicación de blogOpenAI dijo que se ha «creído ampliamente que la Hipótesis del Tiempo Exponencial (ETH) es cierta». La conjetura se refiere a lo difícil que es resolver la satisfacibilidad booleana, un problema estrechamente relacionado con P versus NP. Los investigadores lo han utilizado para demostrar que los problemas de la teoría de grafos, la biología computacional, las bases de datos y otros campos son difíciles de resolver rápidamente.
Según OpenAI, su modelo fue refutado el 16 de octubre. La empresa lo comprobó al día siguiente en Lean, un lenguaje que verifica las pruebas por máquina. Ha publicado el artículo del modelo y la prueba Lean en GitHub.
Los científicos que propusieron ETH lo examinarán
Un grupo liderado por Russell Impagliazzo y Ramamohan Paturi de UC San Diego y Ryan Williams del MIT comprobarán y explicarán el resultado. Impagliazzo y Paturi propusieron ETH por primera vez con Francis Zane.
¡Un modelo interno en OpenAI ha producido una supuesta refutación de ETH! Se nos ha pedido a Russell Impagliazzo, Mohan Paturi y a mí que ayudemos a organizar un examen abierto e independiente de esta reclamación. 1/4
Ryan Williams @rrwilliams.bsky.social (@rrwilliams) 26 de octubre de 2026
en un carta abierta a su campo, los tres investigadores dijeron que su papel no es un respaldo.
«Nuestra participación no debe tomarse como una certificación del reclamo. Un resultado de esta importancia requiere un escrutinio cuidadoso e independiente», escribieron Impagliazzo, Paturi y Williams.
Williams dijo en X que el grupo no firmó ningún acuerdo de confidencialidad y no recibirá ningún pago. El grupo pidió a OpenAI que publicara todos sus datos sin procesar sobre el resultado de ETH y financiara una conferencia para la comunidad de investigación. OpenAI aceptó ambas cosas, según Williams y OpenAI.
Una prueba de matemáticas y una prueba de física.
En matemáticas, OpenAI dice que sus modelos demostraron la conjetura de suavizado local, que Christopher Sogge propuso en 1991, en todas las dimensiones. Esto también resolvería la conjetura de Kakeya y la conjetura de restricción de Stein en todas las dimensiones. Los matemáticos habían demostrado el suavizado local en dos dimensiones en 2019 y la conjetura de Kakeya en tres dimensiones en 2025. OpenAI publicó el informe del modelo y una prueba Lean, al igual que lo hizo con el 722 trabajos de matemáticas se publicó el 6 de octubre.
En física, OpenAI dice que sus modelos produjeron una prueba rigurosa de que ciertas teorías cuánticas de campos existen en cuatro dimensiones. Estos incluyen la cromodinámica cuántica, que describe la fuerza fuerte entre quarks y gluones. El trabajo incluye una prueba de que existe la teoría pura de Yang-Mills, que forma parte de uno de los problemas del Premio Milenio del Clay Mathematics Institute. OpenAI dijo en septiembre que no reclamaría el premio por su Prueba de Navier-Stokes.
El premio Nobel David Gross dirigirá el grupo de física, junto con Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov. Ese grupo decidió no publicar el material producido por AI por ahora y escribirá el trabajo él mismo.
¿Quién recibe el crédito?
OpenAI dice que no busca crédito académico por los descubrimientos. Dice que los investigadores de cada grupo deberían recibir reconocimiento por las explicaciones que escriben. También ha donado 5 millones de dólares a la Fundación Simons para talleres y conferencias sobre los resultados producidos por la IA.
Los tres informáticos preguntan en su carta cómo debería funcionar el crédito cuando la IA encuentra los resultados primero. Advierten que el reconocimiento puede recaer en quienes publican primero o tienen las herramientas más potentes, mientras que comprobar y explicar el trabajo recibe menos crédito. Los matemáticos plantearon preocupaciones similares en el declaración de Leiden en junio.
«Si la afirmación es correcta, cambiará una parte importante de la informática teórica», escribieron los tres investigadores.