OpenAI y Anthropic afirman haber refutado una teoría informática

OpenAI anunció el lunes 26 de octubre que sus modelos de IA internos produjeron tres resultados. El primero es una prueba de la conjetura de suavizado local en todas las dimensiones. El segundo es una refutación de la Hipótesis del Tiempo Exponencial (ETH). El tercero es una prueba rigurosa de existencia para teorías cuánticas de campos, incluida la cromodinámica cuántica (QCD), según el comunicado de la empresa. OpenAI describió los manuscritos como "una forma de datos de investigación en bruto". Pidió a expertos externos que actuaran como "tutores" de los resultados, y cada campo está adoptando un enfoque de publicación diferente. Scientific American informó que los expertos están "todavía atónitos", pero que el lanzamiento ya es controvertido. Horas después del anuncio, Anthropic publicó su propia refutación de la ETH.openai.com+1

Tres afirmaciones, tres planes de lanzamiento

En matemáticas, Christopher Sogge propuso la conjetura de suavizado local en 1991. OpenAI afirma que probarla en todas las dimensiones también resuelve las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. La empresa ha publicado el informe del modelo y una prueba formal en Lean en GitHub, señaló OpenAI. Alex Iosevich, matemático de la Universidad de Rochester, dijo a Al Jazeera que la noticia fue "un shock al principio". Lo calificó como un "desarrollo histórico".aljazeera.com+1

Para la ETH, OpenAI dice que su sistema encontró la refutación el 16 de octubre, y el resultado fue formalizado en Lean el 17 de octubre. Russell Impagliazzo y Ramamohan Paturi de la UC San Diego, quienes propusieron la hipótesis por primera vez, lideran la revisión junto con Ryan Williams del MIT. OpenAI también se ha comprometido a financiar una conferencia sobre el resultado, dijo la empresa. La prueba proporciona un algoritmo para 3-SAT que se ejecuta ligeramente más rápido que el tiempo exponencial. No resuelve necesariamente el problema P frente a NP, señaló Scientific American.openai.com+1

El resultado físico cubre la parte de existencia del problema del Premio del Milenio de Yang-Mills, pero no la brecha de masa. Un grupo liderado por el premio Nobel David Gross ha optado por retener los materiales producidos por la IA mientras redacta el trabajo por sí mismo, según OpenAI.openai.com

Controversia y una prueba rival

Según Scientific American, el lanzamiento va en contra de las recomendaciones del Grupo Asesor sobre Matemáticas e Inteligencia Artificial (AGMAI), un panel de expertos que la propia OpenAI organizó. El modelo sigue siendo propietario y sus prompts y salidas de cadena de pensamiento no han sido publicados. AGMAI ha pedido que se publique el documento de Yang-Mills, diciendo que "no hay razón científica para retrasar más la publicación". Ese mismo informe dice que un empleado de Anthropic y un matemático de Northwestern habían estado trabajando en el mismo problema de Yang-Mills en público con ayuda de IA.scientificamerican.com

El lunes por la noche, Anthropic publicó "Un algoritmo de tiempo 2^o(n) para 3-SAT", un documento atribuido a Claude. El investigador de Anthropic, Levent Alpöge, dijo que un modelo interno encontró el algoritmo central el 16 de octubre "sin intervención humana", informó OfficeChai. Ninguna de las afirmaciones de los laboratorios ha sido revisada por pares. Por ahora, corresponde a los autores de la hipótesis decidir si la refutación afirmada se sostiene.officechai.com