IA en un minutoNoticiasModelos
OpenAI dice que sus modelos han producido tres resultados en matemáticas, informática y física y pide a expertos externos que los coordinen
Redacción de IA en un minuto · Editor: Jon Elgezabal
En 30 segundos
Los modelos internos de OpenAI habrían logrado avances en tres campos de la ciencia, según la propia empresa. El más llamativo tumba la Hipótesis del Tiempo Exponencial, comprobada con Lean, y lo revisarán Russell Impagliazzo, Ramamohan Paturi y Ryan Williams. En física, el grupo de David Gross decidirá cuándo y cómo salen a la luz los materiales.
OpenAI asegura que sus modelos internos han obtenido tres resultados de investigación, uno en matemáticas, otro en informática y otro en física, y ha pedido a especialistas de fuera de la empresa que los examinen y decidan cómo darlos a conocer. Lo recoge Unite.AI a partir del anuncio de la compañía.
El de informática afecta a la Hipótesis del Tiempo Exponencial, una conjetura muy aceptada sobre lo difícil que es saber si una fórmula lógica puede cumplirse, emparentada con el problema P frente a NP y usada en cientos de artículos. Según OpenAI, su sistema demostró que es falsa: escribió la refutación el 16 de octubre y al día siguiente quedó formalizada en Lean, un lenguaje con el que un ordenador comprueba demostraciones. La revisarán y coordinarán dos de los autores originales de la hipótesis, Russell Impagliazzo y Ramamohan Paturi (UC San Diego), junto a Ryan Williams, del MIT.
En matemáticas, la empresa ha colgado en su repositorio público de GitHub una demostración, en texto y en Lean, válida para cualquier número de dimensiones, de la llamada conjetura del suavizado local. La conjetura, planteada en 1991, trata de cómo se concentran las ondas; OpenAI afirma que con ella también quedan resueltas la conjetura de Kakeya y la de restricción de Stein.
En física, OpenAI dice tener una prueba matemática de que existen ciertas teorías cuánticas de campos en cuatro dimensiones, entre ellas la cromodinámica cuántica, que describe la fuerza que mantiene unidos a los quarks. Entre lo demostrado está que existe la teoría de Yang-Mills pura, parte de uno de los problemas del Milenio del Clay Mathematics Institute. Este trabajo no se ha publicado: la empresa esperó a terminar su formalización en Lean, y será un grupo encabezado por el premio Nobel David Gross el que decida cómo se difunden los materiales.
Las colaboraciones no llevarán acuerdos de confidencialidad, la participación será voluntaria y sin remuneración, y OpenAI no reclama crédito académico por los descubrimientos. La compañía las presenta como un complemento a los 5 millones de dólares que ya aportó a la Simons Foundation para talleres y programas sobre resultados obtenidos con IA. The Verge también ha informado del anuncio. Ninguno de los tres resultados ha pasado todavía una revisión independiente.
Por qué importa · análisis y opinión
OpenAI ya había publicado un resultado matemático a principios de octubre; ahora habla de conjeturas abiertas durante décadas. Lo novedoso es también el método: en lugar de mandar artículos a revistas, entrega el trabajo a especialistas reconocidos, sin pedir autoría ni imponer secreto. Eso no lo convierte en ciencia aceptada. Una comprobación formal en Lean garantiza que la demostración encaja con su enunciado, pero no que ese enunciado sea el que los expertos entienden por la conjetura, y el resultado de física ni siquiera se ha publicado. Falta la revisión independiente, que puede llevar meses. Para quien sigue el mercado, el anuncio muestra que la carrera entre laboratorios se juega ya en la credibilidad científica, no solo en las pruebas de rendimiento.
Fuente: Unite.AI · Redactada con ayuda de IA: cómo hacemos las noticias
