OpenAI anuncia tres nuevos hallazgos científicos y recurre a revisores externos

OpenAI informó el lunes 26 de octubre que sus modelos internos han producido tres nuevos resultados. El primero es una prueba de la conjetura de suavizado local en todas las dimensiones, lo que también resolvería las conjeturas de Kakeya y de restricción de Stein. El segundo es una refutación de la Hipótesis de Tiempo Exponencial, y el tercero es una prueba rigurosa de existencia para la cromodinámica cuántica. En lugar de buscar crédito académico, la empresa invitó a expertos externos a actuar como supervisores para organizar grupos que verifiquen y expliquen el trabajotheverge.com+1.

Tres resultados, tres planes de lanzamiento

El avance matemático se basa en la conjetura de suavizado local de Christopher Sogge de 1991. Los matemáticos la probaron en dos dimensiones espaciales en 2019, y la conjetura de Kakeya fue probada en tres dimensiones en 2025. OpenAI afirma que su prueba se apoya en una nueva ecuación diferencial parcial auxiliar. Un experto recomendó publicar los resultados en bruto, por lo que OpenAI subió un informe del modelo y una prueba en Lean a GitHub, tal como hizo con su lanzamiento del 6 de octubreopenai.com+1.

El resultado en ciencias de la computación describe un algoritmo determinista que cuenta las asignaciones satisfactorias de fórmulas CNF de ancho fijo en tiempo subexponencial. Aplicado a 3-SAT, esto refutaría una conjetura utilizada en cientos de pruebas de dureza. Russell Impagliazzo y Ramamohan Paturi, de la UC San Diego, quienes propusieron la hipótesis originalmente, liderarán la revisión junto a Ryan Williams del MIT. Advirtieron que su participación no debe tomarse como una certificación de la afirmación. OpenAI también aceptó financiar una conferencia sobre las implicaciones de este resultado para el campothenextweb.com+1.

El material de física fue retenido. Un grupo liderado por el premio Nobel David Gross, junto a Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov, decidió redactar el resultado por sí mismo. El trabajo incluye una prueba de existencia para la teoría pura de Yang-Mills, la cual forma parte de un problema del Premio del Milenio de Clayopenai.com.

Dudas sobre el modelo de supervisión

OpenAI asegura que los supervisores no firmarán acuerdos de confidencialidad ni recibirán pago. También afirma que no busca crédito académico por los descubrimientos de sus modelos. La empresa reconoció que elegir a los primeros supervisores crea una asimetría de información. Este acuerdo se suma a la reciente contribución de 5 millones de dólares de OpenAI a la Fundación Simons, que financiará talleres sobre resultados producidos por IAopenai.com.

No todos están de acuerdo con este enfoque. Un día antes del anuncio, el propio panel de asesores matemáticos de OpenAI recomendó que las empresas de IA no adopten la práctica de dar acceso prioritario a personas seleccionadas. El panel citó el acceso desigual, el uso de reputación ajena y la selección sesgada. Gizmodo señaló que la verificación en Lean ha causado problemas anteriormente. Lectores de la anterior afirmación de OpenAI sobre Navier-Stokes temían que la prueba en Lean hubiera verificado una declaración más débil que la publicada por la empresa. OpenAI describe los nuevos manuscritos como datos de investigación en bruto que la comunidad científica aún debe transformar en conocimientogizmodo.com+1.