ChatGPT desmontó una hipótesis de 27 años en la que se basaban cientos de artículos científicos

La hipótesis sobre la que durante décadas se construyeron las estimaciones de la complejidad computacional ha quedado en entredicho tras el comunicado de OpenAI. El 26 de octubre la compañía presentó tres resultados obtenidos por modelos de IA internos en matemáticas, informática y física. El más inesperado se refiere a la hipótesis del tiempo exponencial, considerada un pilar clave de la teoría de algoritmos.

La hipótesis del tiempo exponencial (ETH) plantea que ciertos problemas de búsqueda de soluciones de fórmulas lógicas no pueden resolverse de manera sustancialmente más rápida que un determinado límite exponencial. OpenAI afirma que su modelo encontró un algoritmo determinista para contar las asignaciones que satisfacen dichas fórmulas. Según el trabajo, el caso del problema 3-SAT contradice la ETH, en la que se apoyaron cientos de artículos científicos.

El modelo obtuvo la demostración el 16 de octubre, y el 17 de octubre OpenAI formalizó el resultado en el sistema Lean, que verifica los pasos lógicos. La compañía publicó los materiales fuente y convocó a un grupo dirigido por Russell Impagliazzo, Ramamohan Paturi y Ryan Williams. Aún queda pendiente la evaluación independiente del significado matemático de la demostración, y por ahora no se ha demostrado una aceleración de programas reales.

El segundo hallazgo se refiere al comportamiento de las ondas. OpenAI declaró que la IA demostró la conjetura de alisado local en todas las dimensiones espaciales, empleando una nueva ecuación diferencial auxiliar. Del resultado también se derivan la conjetura de Kato y la conjetura de restricción de Stein en dimensiones generales. Antes, la conjetura de Kato solo se había demostrado para el espacio tridimensional.

El área más reservada está relacionada con la física cuántica. Según OpenAI, el modelo construyó una fundamentación matemática de la existencia de teorías cuánticas de campo en cuatro dimensiones, incluida la cromodinámica cuántica. El trabajo también abarca la teoría de Yang–Mills, vinculada a uno de los problemas del milenio, y una variante de un modelo unificado de las interacciones fundamentales.

A diferencia de los resultados matemáticos, los textos de las demostraciones físicas aún no se han publicado. OpenAI entregó el análisis a un grupo dirigido por el premio Nobel David Gross. La compañía afirma haber recibido los primeros borradores ya en septiembre, y completó la verificación formal de parte del trabajo el 16 de octubre. Por ello, los investigadores independientes todavía no pueden examinar todo el material.

Este procedimiento ya suscitó objeciones. El grupo asesor sobre matemáticas e IA del Institute for Advanced Study exigió la inmediata apertura de los materiales sobre la teoría de Yang–Mills y la cromodinámica cuántica. Según el grupo, la selección de científicos concretos para el acceso anticipado crea condiciones desiguales y dificulta la discusión abierta de los supuestos descubrimientos científicos.

La práctica anterior de OpenAI también provocó debate. A comienzos de octubre la compañía publicó cientos de trabajos matemáticos, tras lo cual los científicos empezaron a hablar de la necesidad de cambiar el enfoque hacia las demostraciones realizadas por máquinas. Ahora OpenAI promete no reclamar la autoría científica y destinar $5 millones a un análisis independiente. La verificación de los nuevos resultados y la evaluación de sus consecuencias apenas comienzan.