Teoría de la complejidad en transición
Dennis Lenz
(Imagen simbólica) La Hipótesis del Tiempo Exponencial describe un supuesto límite para el cálculo de fórmulas lógicas. OpenAI afirma tener un algoritmo subexponencial para contar con precisión las ocupaciones válidas. Las matemáticas subyacentes están disponibles públicamente. Se está llevando a cabo una revisión independiente de las supuestas pruebas.
(Foto: © Investigación y conocimiento, imagen de IA)
OpenAI afirma haber supuesto un avance extraordinario en la informática teórica: un sistema de inteligencia artificial habría refutado la hipótesis del tiempo exponencial, discutida durante décadas. El enfoque publicado promete una aceleración asintótica que antes se consideraba imposible para una clase fundamental de problemas lógicos. Se está llevando a cabo una implementación formal de Lean mientras un grupo independiente de expertos todavía está examinando el tema. Lo que ahora es crucial es si la evidencia resiste un cuidadoso escrutinio profesional.
Según la compañía, OpenAI AI ha desarrollado una refutación de la hipótesis del tiempo exponencial (ETH), una suposición clave sobre los límites de los algoritmos rápidos. En una comunicación original sobre la colaboración con científicos, OpenAI presenta el resultado y al mismo tiempo describe una práctica editorial inusual: los especialistas externos deben comprender, explicar y examinar críticamente la evidencia generada por la máquina.
La atención se centra en una pregunta que a primera vista parece un acertijo de clase de matemáticas: ¿con qué rapidez se puede determinar si un gran conjunto de condiciones lógicas se puede satisfacer simultáneamente? Detrás de esta pregunta se esconden límites a la computabilidad, que han servido de base para otras afirmaciones en cientos de artículos científicos.
Una hipótesis de los años 90 comienza a tambalearse
Russell Impagliazzo, Ramamohan Paturi y Francis Zane formularon ETH como una conjetura sobre el problema 3-SAT. Una fórmula se compone de condiciones con hasta tres enunciados lógicos cada una, cuyas variables pueden ser verdaderas o falsas. Buscamos empleo que cumpla todas las condiciones al mismo tiempo. Con n variables, hay un total de 2 a n asignaciones posibles, pero un algoritmo no necesariamente tiene que probarlas individualmente.
ETH simplemente argumenta que, en el peor de los casos, 3-SAT no se puede resolver en un tiempo cuyo exponente con respecto a a se acerque a cero. Por lo tanto, incluso un procedimiento con un tiempo de ejecución de 2 elevado a la potencia de n dividido por la raíz cuadrada del logaritmo de n refutaría la hipótesis. Esta distinción se refiere a la tasa de crecimiento matemático con entradas cada vez mayores y es mucho más precisa que la afirmación de que cada computadora debe probar esencialmente todas las combinaciones.
OpenAI describe un algoritmo para fórmulas de cualquier tamaño
La preimpresión disponible públicamente afirma más que decidir si existe una solución. Para cualquier cláusula fija con ancho k a partir de dos, un algoritmo determinista debería determinar exactamente el número de todas las asignaciones satisfactorias de un k-CNF. Cualquiera que conozca el número también puede determinar si es cero y así responder a la pregunta de decisión original.
Para fórmulas con n variables y m cláusulas, el manuscrito proporciona un tiempo de ejecución igual a un factor polinómico multiplicado por 2 elevado a O (n log log n dividido por la raíz cuadrada de log n). Con un límite superior fijo para la relación m/n, se elimina el factor log-log adicional en el exponente. Según la preimpresión, la memoria limitada polinomial es suficiente para este propósito. Estas declaraciones se refieren a un límite superior teórico, no a la velocidad medida de un programa que ya está en uso.
Las redes lógicas reemplazan la búsqueda con 2 elevado a n casos
La construcción publicada traduce fórmulas lógicas, entre otras cosas, en redes de elementos booleanos interconectados. Las condiciones locales se describen en nodos, mientras que las conexiones fortalecen la concordancia de variables compartidas. Un resumen matemático de las contribuciones debe proporcionar el número de soluciones sin considerar explícitamente cada posible asignación como un conjunto de datos completo.
El núcleo técnico utiliza transformaciones algebraicas especiales, descomposiciones recursivas y el cálculo controlado de las contribuciones de la red. El manuscrito describe la llamada contracción tensorial y limita el número de términos intermedios utilizando propiedades aritméticas. La complejidad de estos pasos explica por qué un resumen comprensible por sí solo no basta para evaluar la garantía de autonomía declarada.
Lean verifica la declaración formal bajo condiciones específicas.
OpenAI informa que su modelo primero generó una prueba en lenguaje natural y luego creó una formalización en Lean. Este asistente de prueba comprueba si las deducciones individuales formuladas formalmente se derivan de sus premisas. La documentación Lean publicada describe explícitamente el alcance de la formalización, incluido el recuento exacto de fórmulas codificadas canónicamente y el tiempo de ejecución subexponencial con memoria polinómica.
La verificación automática es una fuerte indicación adicional de la coherencia interna del argumento formalizado. Los expertos todavía tienen que comprobar si la formalización cubre exactamente el enunciado matemático indicado, si todos los requisitos están modelados correctamente y si la construcción se puede entender de forma independiente. La propia OpenAI ya habla de una refutación, mientras que el examen técnico externo continúa explícitamente.
Impagliazzo Paturi y Williams acompañan la auditoría externa
El grupo de trabajo independiente está dirigido por Russell Impagliazzo y Ramamohan Paturi de la Universidad de California en San Diego y Ryan Williams del Instituto Tecnológico de Massachusetts. Se trata de dos de los investigadores originales de ETH y un experto comprobado en algoritmos y límites de complejidad. Su tarea es examinar los resultados junto con otros expertos y clasificarlos de forma comprensible.
La participación de estos científicos no significa una confirmación completa de la evidencia. Según OpenAI, el grupo debería trabajar de forma independiente, poder debatir públicamente y tener acceso a materias primas. Para la comunidad de expertos, la verdadera prueba reside en el control comprensible de los detalles matemáticos y el alcance del resultado.
Las consecuencias para P versus NP inicialmente permanecen abiertas
Si la refutación es válida, numerosas declaraciones perderán su base condicional anterior, siempre que se basen explícitamente en ETH. Esto se aplica, entre otras cosas, a cuestiones relacionadas con la teoría de grafos, las bases de datos y la biología algorítmica. Esto no hace que dichos resultados sean automáticamente falsos; A menudo es necesario volver a aclarar qué límites inferiores siguen siendo válidos y si son posibles otras justificaciones.
Además, una refutación de ETH no constituiría una solución al famoso problema P versus NP. Los algoritmos subexponenciales aún pueden crecer significativamente más lento que los métodos polinomiales y siguen siendo poco prácticos para tamaños de entrada realistas. Que la supuesta aceleración teórica conduzca algún día a programas de uso más rápido depende de futuros desarrollos algorítmicos y de implementaciones concretas.
La fórmula booleana escrita con tiza tiene sólo unas pocas variables y paréntesis. En fórmulas grandes, el número de posibles combinaciones verdadero-falso crece exponencialmente. OpenAI ahora reclama un atajo matemáticamente probado a través de este espacio de búsqueda; Las pruebas independientes actuales deben demostrar si realmente funciona.
OpenAI, colaboración con comunidades académicas para desarrollar el conocimiento científico
OpenAI, la hipótesis del tiempo exponencial es falsa
OpenAI, el alcance de la formalización Lean para la hipótesis del tiempo exponencial es falso
Construido con el apoyo de inteligencia artificial.
La mayoría de los viajes de camiones a Alemania pueden realizarse eléctricamente
El recubrimiento hace que los módulos solares en los desiertos
La casa de madera más alta del mundo está en construcción en los Estados Unidos.
SUVS & CO. – El capó se está volviendo más alto y, por lo tanto, pone en peligro a los peatones