OpenAI asegura que su IA sin publicar refuta hipótesis de los noventa
El modelo, todavía confidencial, habría encontrado la refutación el 16 de octubre y la tradujo a Lean al día siguiente. OpenAI entregó los datos como “investigación en bruto” y pidió a expertos externos que los verifiquen de forma independiente.
OpenAI declaró que uno de sus sistemas de inteligencia artificial, que aún no ha sido publicado, logró refutar la hipótesis del tiempo exponencial, una conjetura matemática vigente desde la década de los noventa. Según la empresa, la refutación se obtuvo el 16 de octubre y, apenas un día después, el hallazgo fue traducido al lenguaje Lean, que permite a una máquina comprobar cada paso de una demostración.
La compañía presentó los tres resultados como “datos de investigación en bruto” y solicitó a especialistas externos que formen grupos independientes para su verificación. La revisión de la hipótesis del tiempo exponencial quedó a cargo de Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego, junto con Ryan Williams, del Instituto Tecnológico de Massachusetts (MIT).
OpenAI también afirmó haber demostrado la conjetura del suavizado local, propuesta en 1991 por el matemático Christopher Sogge, en todas sus dimensiones. Además, la empresa aseguró haber extendido la solución de la conjetura de Kakeya, previamente probada por Hong Wang y Joshua Zahl en tres dimensiones, a cualquier número de dimensiones. En el mismo comunicado se anunció que se había demostrado la existencia, en cuatro dimensiones, de la teoría de Yang‑Mills pura, la cromodinámica cuántica y la versión más sencilla de la teoría de gran unificación.
La verificación del resultado sobre la teoría de Yang‑Mills quedó asignada a un grupo liderado por David Gross, Nobel de Física 2004, y que incluye a Arthur Jaffe, coautor del enunciado oficial del problema junto a Edward Witten.
Alex Iosevich, especialista en análisis armónico de la Universidad de Rochester, calificó el hallazgo como un “desarrollo histórico”, según informó Al Jazeera.
Quedan abiertas varias preguntas: la comunidad matemática aún no ha revisado los datos, y la dependencia de grupos externos para la validación plantea dudas sobre la rapidez y la rigurosidad del proceso. Además, la falta de publicación del modelo dificulta que otros investigadores reproduzcan o analicen el método utilizado. Hasta que los grupos de verificación publiquen sus conclusiones, la supuesta refutación y los demás resultados permanecen en el terreno de la afirmación de OpenAI.
No te pierdas lo importante
Recibí lo más importante del día en tu mail. Sin spam.
