OpenAI anunció el lunes tres descubrimientos hechos por sus modelos internos, uno cada uno en matemáticas, ciencia computacional y física. El más resonante es sobre la Hipótesis del Tiempo Exponencial (ETH), una suposición ampliamente creída sobre qué tan rápido pueden las computadoras resolver ciertos problemas difíciles. El sistema de OpenAI dice que es falsa, y un verificador de pruebas computacional confirmó la demostración.

Dos de los autores originales de esa hipótesis, Russell Impagliazzo y Ramamohan Paturi, dirigirán ahora la verificación independiente junto con Ryan Williams, del MIT. Williams lo califica como una «refutación alegada».

El resultado matemático prueba una conjetura de 1991 sobre cómo se enfocan las ondas, en cada dimensión. El de física es una prueba de existencia para la teoría de la fuerza fuerte, y parte de ella toca un problema del Premio del Milenio de Clay. El premio Nobel David Gross lidera esa revisión.

OpenAI dice que no busca crédito académico por los resultados y que busca trabajar con la comunidad académica para construir comprensión científica.

La ETH ha sido durante décadas una piedra angular de la ciencia computacional: si es falsa, implicaría que problemas considerados intratables podrían resolverse mucho más rápido de lo que se creía, reescribiendo la base de cientos de papers sobre complejidad y criptografía.

Horas después del anuncio de OpenAI, Anthropic dijo que su modelo Claude también refutó la misma hipótesis el 16 de octubre, usando 14 millones de tokens de salida. Mientras tanto, Axiom formalizó en Lean la clasificación de grupos simples finitos, la prueba más larga de la historia de las matemáticas, en unos 24 días con ayuda de agentes de IA.

Fuentes y créditos: OpenAI · The Next Web · OpenAI Developer Community · Office Chai

Portada: Unsplash — ver imagen.