OpenAI comunicó que un modelo de IA aún en fase de desarrollo habría invalidado la hipótesis del tiempo exponencial el 16 de octubre de 2026. La conjetura, formulada a finales de los noventa, está estrechamente relacionada con el problema P vs NP y forma parte de los siete Problemas del Milenio, cada uno premiado con un millón de dólares.
"Nuestro algoritmo encontró una refutación clara y la tradujo a Lean, el lenguaje de verificación formal", declaró un portavoz de OpenAI.
La compañía presentó los resultados como "datos de investigación en bruto" y pidió a investigadores externos que organicen grupos independientes para corroborar los hallazgos.
Otros avances anunciados
Junto a la refutación, el mismo modelo habría demostrado la conjetura del suavizado local propuesta en 1991 por Christopher Sogge, extendiendo la prueba a todas las dimensiones. Según OpenAI, esa solución también implicaría avances en las conjeturas de Stein y Kakeya del análisis armónico.
En paralelo, el sistema habría aportado una prueba de la existencia matemática de la teoría de Yang-Mills, uno de los pilares de la física de partículas.
Verificación y próximos pasos
OpenAI entregó la evidencia a Russell Impagliazzo y Ramamohan Paturi, co-autores originales de la hipótesis del tiempo exponencial, y a Ryan Williams del MIT, para que evalúen la validez de los argumentos. La empresa subrayó que, de confirmarse cualquiera de los tres resultados, podrían abrir una nueva carrera académica y calificar para premios internacionales.
"Esperamos una revisión rigurosa y transparente por parte de la comunidad matemática", añadió el portavoz.
El futuro de estos descubrimientos dependerá de la revisión por pares y de la capacidad de reproducir los algoritmos en entornos de prueba independientes.
