OpenAI anunció el lunes 26 de octubre que sus modelos internos produjeron tres importantes pruebas matemáticas y físicas, incluida la refutación de la hipótesis del tiempo exponencial en las ciencias de la computación. Pocas horas después, su rival Anthropic publicó su propia prueba refutando la misma hipótesis a través de su modelo Claude.
Tres afirmaciones científicas históricas de los modelos internos de OpenAI
La conjetura de suavizado local, la hipótesis del tiempo exponencial y el problema de Yang-Mills
Objeción del grupo asesor de matemáticas y ocultación de datos de los modelos
Anthropic publica una prueba rival el mismo día sin intervención humana
Preguntas frecuentes
Tres afirmaciones científicas históricas de los modelos internos de OpenAI
OpenAI anunció el lunes 26 de octubre que sus modelos internos de inteligencia artificial lograron tres grandes resultados científicos. El primero consiste en demostrar la conjetura de suavizado local en todas las dimensiones matemáticas, el segundo en refutar la hipótesis del tiempo exponencial (conocida abreviadamente como ETH) en las ciencias de la computación, y el tercero es una estricta prueba de existencia para teorías cuánticas de campos interaccionantes, incluida la cromodinámica cuántica, según el anuncio oficial de la empresa. OpenAI describió los manuscritos producidos como «una forma de datos de investigación en bruto» y pidió a expertos externos que actuaran como «patrocinadores científicos» para revisar los resultados, ya que cada disciplina sigue un enfoque de publicación diferente. La revista Scientific American informó que los expertos «siguen en estado de shock», pero el método de anuncio ya ha generado una amplia controversia, y pocas horas después del anuncio de OpenAI, Anthropic publicó su propia prueba refutando la misma hipótesis del tiempo exponencial.
La conjetura de suavizado local, la hipótesis del tiempo exponencial y el problema de Yang-Mills
En el campo de las matemáticas, el académico Christopher Sogge había propuesto la conjetura de suavizado local en 1991, y OpenAI afirma que su demostración en todas las dimensiones también resuelve las conjeturas de Kakeya y Stein en todas las dimensiones. La empresa publicó el texto escrito por el modelo y una prueba formal en el lenguaje Lean a través de la plataforma GitHub. Alex Iosevich, matemático de la Universidad de Rochester, declaró a Al Jazeera que la noticia fue «un impacto al principio» y la calificó de «desarrollo histórico». En cuanto a la hipótesis del tiempo exponencial, OpenAI señala que su sistema llegó a la refutación el 16 de octubre y se formuló formalmente en el lenguaje Lean el 17 de octubre. La revisión está dirigida por Russell Impagliazzo y Ramamohan Paturi, de la Universidad de California en San Diego (quienes propusieron originalmente la hipótesis), en colaboración con Ryan Williams, del Instituto Tecnológico de Massachusetts (MIT), con el compromiso de OpenAI de financiar una conferencia científica sobre el resultado, el cual ofrece un algoritmo para el problema 3-SAT que funciona un poco más rápido que el tiempo exponencial sin resolver necesariamente el problema P versus NP. Por su parte, el resultado de física abarca la parte de existencia del problema del Premio del Milenio de Yang-Mills sin la brecha de masa, y un grupo dirigido por el premio Nobel David Gross optó por retener los materiales de inteligencia artificial mientras redacta el trabajo por su cuenta.
Objeción del grupo asesor de matemáticas y ocultación de datos de los modelos
Según Scientific American, este anuncio contradice las recomendaciones del Grupo Asesor de Matemáticas e Inteligencia Artificial formado por la propia OpenAI, ya que el modelo sigue siendo confidencial y no se han publicado sus instrucciones de texto ni sus cadenas de pensamiento. El grupo exigió la publicación inmediata del artículo sobre Yang-Mills, afirmando que «no hay ninguna razón científica para retrasar más la publicación», especialmente dado que un empleado de Anthropic y un matemático de la Universidad Northwestern trabajaban abiertamente en el mismo problema con la ayuda de la inteligencia artificial.
Anthropic publica una prueba rival el mismo día sin intervención humana
Tarde el lunes, Anthropic publicó un documento de investigación atribuido al modelo Claude que incluye un algoritmo para el problema 3-SAT. El investigador de Anthropic Levente Albughy señaló que un modelo interno descubrió el algoritmo básico el 16 de octubre «sin ninguna intervención humana», según el sitio web Office Chai. Ninguna de las afirmaciones de los dos laboratorios ha sido sometida aún a revisión por pares.
Preguntas frecuentes
Pregunta: ¿Cuáles son los tres resultados anunciados por OpenAI?
Respuesta: La demostración de la conjetura de suavizado local en todas las dimensiones, la refutación de la hipótesis del tiempo exponencial en la computación, y una prueba de existencia para teorías cuánticas de campos interaccionantes en Yang-Mills.
Pregunta: ¿Qué hizo Anthropic horas después del anuncio de OpenAI?
Respuesta: Anthropic publicó un documento de investigación atribuido al modelo Claude que refuta la misma hipótesis del tiempo exponencial, afirmando que su modelo llegó al algoritmo el 16 de octubre sin intervención humana.
Pregunta: ¿Por qué objetó el comité asesor de matemáticas el método de publicación de OpenAI?
Respuesta: Porque OpenAI ocultó las cadenas de pensamiento y las instrucciones de texto del modelo, y además retrasó sin justificación científica la publicación del artículo físico de Yang-Mills.
