OpenAI afirma que la IA resolvió Kakeya y refutó la ETH

OpenAI anunció tres nuevos descubrimientos realizados por sus modelos internos: la prueba de que la Hipótesis del Tiempo Exponencial (ETH) es falsa -una conjetura utilizada en cientos de artículos- formalizada en Lean; la resolución de la conjetura de suavizado local en todas las dimensiones, que resuelve las conjeturas de Kakeya y de restricción de Stein; y una prueba rigurosa de existencia para teorías cuánticas de campos en cuatro dimensiones, incluidas la cromodinámica cuántica y la teoría de Yang–Mills. OpenAI presenta estos resultados como contribuciones que los investigadores pueden verificar, con una revisión independiente para determinar si los resultados reportados pueden validarse.

OpenAI anunció tres nuevos descubrimientos en matemáticas, informática y física. El modelo demostró que la Hipótesis del Tiempo Exponencial (ETH), utilizada como premisa de dureza computacional en cientos de artículos, es falsa; el resultado ha sido verificado formalmente en Lean y será revisado por un grupo dirigido por los proponentes de la hipótesis, Russell Impagliazzo y Ramamohan Paturi, junto con el profesor del MIT Ryan Williams.

El modelo demostró la conjetura de suavizado local en dimensiones arbitrarias, resolviendo así la conjetura de Kakeya y la conjetura de restricción de Stein; en el terreno de la física, aportó una prueba rigurosa de existencia para teorías cuánticas de campos en cuatro dimensiones, incluida la cromodinámica cuántica, entre las cuales figura una prueba de existencia para la teoría de Yang–Mills pura relacionada con el Problema del Milenio, que será revisada por un grupo dirigido por el premio Nobel de física David Gross.

OpenAI considera estos manuscritos como datos de investigación en bruto y está experimentando con un nuevo enfoque de publicación, contactando a expertos externos para que actúen como guías y organizando grupos para comprender los nuevos resultados. Para el resultado matemático, OpenAI publicó la salida de la IA, dejando a los investigadores la libertad de organizar sus propios esfuerzos para explicarlo; en informática, un grupo externo de colaboradores explicará el resultado mientras la salida de la IA estará disponible públicamente; en física, un grupo externo aplaza la publicación de los materiales.

OpenAI declara que no busca crédito académico por los descubrimientos producidos por sus modelos internos, y que los miembros de los grupos de trabajo participan de forma voluntaria, sin remuneración e independiente. Estos resultados aún aguardan la verificación independiente por parte de la comunidad académica.