OpenAI dice que su IA refutó una hipótesis de hace 27 años, y Anthropic afirma lo mismo

OpenAI anunció el lunes 26 de octubre que uno de sus sistemas de IA demostró que la “hipótesis del tiempo exponencial” es falsa. Es una conjetura de 1999 sobre lo difícil que es resolver ciertos problemas de lógica, y sobre ella se han apoyado cientos de trabajos de computación teórica, según la empresa. La prueba fue verificada después con Lean, un programa que revisa paso a paso que un razonamiento matemático sea correcto.

Horas más tarde, Anthropic publicó en GitHub su propia refutación de la misma hipótesis, informaron TechCrunch y Wired. Ninguna de las dos pruebas ha sido validada todavía por investigadores independientes.

Qué dice la hipótesis

La hipótesis, publicada por primera vez por Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego, sostiene que incluso el algoritmo más rápido necesita un tiempo que crece de forma exponencial a medida que aumentan las variables de cierto tipo de acertijo lógico. Está ligada a la gran pregunta abierta de la computación, conocida como P contra NP: si todo problema cuya solución se puede verificar rápido también se puede resolver rápido.

Lo que afirman OpenAI y Anthropic es que sus modelos encontraron algoritmos que resuelven esos acertijos en tiempo “subexponencial”, es decir, más rápido de lo que se creía posible, explicó TechCrunch.

Según OpenAI, su IA encontró la refutación el 16 de octubre y la empresa la formalizó en Lean al día siguiente. El mismo día publicó otros dos resultados, uno en matemáticas y otro en física.

La validación recién empieza

OpenAI pidió a Impagliazzo, a Paturi y a Ryan Williams, del MIT, que encabecen un grupo para verificar y explicar el resultado. A pedido del grupo, la empresa publicó todos los materiales para que cualquiera pueda revisarlos y se comprometió a financiar una conferencia sobre las consecuencias del hallazgo. El primer paso de los investigadores fue una carta abierta que pide aportes a la comunidad científica, según TechCrunch.

“Algunas partes son, por así decirlo, rutinarias, pero hay dos o tres partes de aspecto extraño, y fueron justamente esas las que me hicieron pensar que esto es algo en lo que toda la comunidad tiene que trabajar junta”, dijo Williams a TechCrunch. También advirtió que el algoritmo de OpenAI probablemente no es el último: “No creo que pueda ser el mejor algoritmo posible”.

La primera duda de Williams fue la seguridad: un algoritmo más rápido podría debilitar sistemas de cifrado que dependen de ciertos tamaños de clave. Le preguntó a OpenAI si lo había revisado, y la empresa respondió que tenía una confianza razonable en que el resultado no rompe ningún sistema criptográfico, contó a TechCrunch.

OpenAI advirtió que convertir este avance teórico en mejoras prácticas “requerirá mucha más investigación”.

Qué significa para las empresas de la región

Nada cambia mañana en el software que usa tu empresa. Pero el caso deja tres lecciones para quien dirige:

1. La IA ya apunta a descubrimientos, no solo a textos. Si la prueba se confirma, habrá cerrado una pregunta que los expertos dejaron abierta durante 27 años. Para áreas de investigación y desarrollo, conviene preguntarse qué problema “imposible” vale la pena volver a mirar con estas herramientas.
2. Un resultado de IA es una afirmación hasta que alguien lo verifica. Hasta los laboratorios más grandes llaman a expertos externos para validar. Lo mismo vale para el análisis o el informe que un modelo entrega en tu empresa: definir quién lo revisa antes de decidir.
3. Los supuestos técnicos pueden caer. Problemas de planificación, rutas o asignación de turnos que hoy se resuelven “a medias” porque se daban por intratables podrían tener mejores soluciones en unos años. Vale seguir el tema con el equipo de tecnología o con los proveedores de optimización.

Qué mirar

Qué concluye el grupo de validación, si la prueba de Anthropic resiste la misma revisión y qué fecha tendrá la conferencia que financiará OpenAI.

A partir de información de OpenAI.