$ETH OpenAI afirma que su IA ha refutado ETH, y no se refiere a Ethereum.
ETH es la abreviatura de Exponential Time Hypothesis (hipótesis del tiempo exponencial), una conjetura de informática que existe desde hace décadas.
Sostiene que, a medida que aumenta el tamaño de ciertos problemas computacionales difíciles, el tiempo necesario para resolverlos crecerá siempre de forma exponencial.
OpenAI afirma que esta hipótesis se considera ampliamente correcta y que cientos de artículos de investigación se han basado en ella.
Pero su IA propuso un algoritmo capaz de resolver esos problemas más rápido de lo que permite la hipótesis.
La IA encontró esta refutación el 16 de octubre, y Lean, un programa que comprueba demostraciones matemáticas, verificó el resultado al día siguiente.
OpenAI publicó la demostración y su verificación con Lean en GitHub.
Los científicos que propusieron originalmente la hipótesis, Russell Impagliazzo y Ramamohan Paturi, dirigirán un grupo que trabajará con Ryan Williams, del MIT, para verificar este trabajo.
OpenAI afirma que convertir este resultado en algoritmos prácticos más rápidos «requerirá mucha más investigación».
La empresa también anunció otros dos descubrimientos de IA.
En matemáticas, OpenAI afirma que su modelo resolvió la conjetura de Kakeya en todas las dimensiones.
Los matemáticos solo demostraron la versión en 3D el año pasado.
En física, OpenAI afirma que su IA produjo una demostración que abarca una parte de uno de los problemas del Premio del Milenio de matemáticas, dotado con 1 millón de dólares.
Un grupo dirigido por el premio Nobel David Gross estudiará este trabajo, que aún no se ha publicado.
¿Confiarías en una demostración escrita por una IA antes de que la revisara una persona?
#openai
ETH es la abreviatura de Exponential Time Hypothesis (hipótesis del tiempo exponencial), una conjetura de informática que existe desde hace décadas.
Sostiene que, a medida que aumenta el tamaño de ciertos problemas computacionales difíciles, el tiempo necesario para resolverlos crecerá siempre de forma exponencial.
OpenAI afirma que esta hipótesis se considera ampliamente correcta y que cientos de artículos de investigación se han basado en ella.
Pero su IA propuso un algoritmo capaz de resolver esos problemas más rápido de lo que permite la hipótesis.
La IA encontró esta refutación el 16 de octubre, y Lean, un programa que comprueba demostraciones matemáticas, verificó el resultado al día siguiente.
OpenAI publicó la demostración y su verificación con Lean en GitHub.
Los científicos que propusieron originalmente la hipótesis, Russell Impagliazzo y Ramamohan Paturi, dirigirán un grupo que trabajará con Ryan Williams, del MIT, para verificar este trabajo.
OpenAI afirma que convertir este resultado en algoritmos prácticos más rápidos «requerirá mucha más investigación».
La empresa también anunció otros dos descubrimientos de IA.
En matemáticas, OpenAI afirma que su modelo resolvió la conjetura de Kakeya en todas las dimensiones.
Los matemáticos solo demostraron la versión en 3D el año pasado.
En física, OpenAI afirma que su IA produjo una demostración que abarca una parte de uno de los problemas del Premio del Milenio de matemáticas, dotado con 1 millón de dólares.
Un grupo dirigido por el premio Nobel David Gross estudiará este trabajo, que aún no se ha publicado.
¿Confiarías en una demostración escrita por una IA antes de que la revisara una persona?
#openai