OpenAI anunció que sus modelos produjeron tres resultados científicos en matemáticas, informática teórica y física, y que pidió a expertos externos revisarlos. Entre ellos está una refutación de la Hipótesis del Tiempo Exponencial (ETH), una suposición sobre la que se apoyan cientos de artículos. La empresa los presenta como resultados que aún deben ser verificados por la comunidad.
Los tres resultados
En matemáticas, según OpenAI, el modelo demostró la conjetura de suavizado local en cualquier dimensión, lo que resolvería las conjeturas de Kakeya y de restricción de Stein. En informática teórica, afirma haber refutado la ETH: “Sorprendentemente, nuestro sistema ha demostrado recientemente que la ETH es falsa, un resultado verificado después en Lean”, escribió la compañía.
Si el resultado sobre la ETH se sostiene, el problema 3-SAT tendría un algoritmo de tiempo subexponencial. Eso no resuelve P contra NP, y OpenAI aclara que las mejoras prácticas exigirían bastante investigación adicional. En física, el modelo habría dado pruebas de existencia para teorías cuánticas de campos en cuatro dimensiones, incluida la cromodinámica cuántica y la teoría de Yang-Mills pura, ligada a un problema del Milenio.
Cómo se revisarán
OpenAI describe los manuscritos como “una forma de datos de investigación en bruto” y los envió a grupos de expertos independientes, que trabajan sin pago y sin acuerdos de confidencialidad. Para la ETH, la revisión la organizan Russell Impagliazzo, Ramamohan Paturi, quienes propusieron la hipótesis, y Ryan Williams, del MIT. Para la física, un grupo encabezado por el Nobel David Gross.
Los artículos escritos por IA y las pruebas en Lean de los resultados de matemáticas y de la ETH están en el repositorio público de OpenAI en GitHub. El grupo de física decidió no publicar los materiales generados por IA y preparar su propia redacción. Que otros especialistas verifiquen cada afirmación será el paso que determine si los resultados se consideran probados.