🚨OpenAI afirma que su IA ha REFUTADO la ETH.
ETH son las siglas de la hipótesis del tiempo exponencial, una suposición de larga data sobre la dificultad de resolver ciertos problemas computacionales a medida que crecen.
OpenAI afirma que su IA ha inventado un algoritmo más rápido de lo que permite la hipótesis, lo que contradice una suposición utilizada en cientos de artículos de investigación.
La refutación se descubrió el 16 de octubre, se verificó al día siguiente con el sistema de comprobación de pruebas Lean y se publicó en GitHub junto con su verificación formal, afirma la empresa.
Ryan Williams, del MIT, la revisará junto con los proponentes originales de la ETH, Russell Impagliazzo y Ramamohan Paturi. OpenAI afirma que se necesitará «investigación adicional significativa» para convertir el resultado en algoritmos más rápidos para el mundo real.
La empresa afirma haber logrado otros dos avances:
• Matemáticas: Una demostración de la conjetura de Kakeya en todas las dimensiones, tras la demostración del caso tridimensional el año pasado.
• Física: Una demostración que resuelve parte de un problema del Premio del Milenio de 1 MILLÓN DE DÓLARES. Ese trabajo aún no se ha publicado y un equipo dirigido por el ganador del Premio Nobel David Gross lo investigará.
ETH son las siglas de la hipótesis del tiempo exponencial, una suposición de larga data sobre la dificultad de resolver ciertos problemas computacionales a medida que crecen.
OpenAI afirma que su IA ha inventado un algoritmo más rápido de lo que permite la hipótesis, lo que contradice una suposición utilizada en cientos de artículos de investigación.
La refutación se descubrió el 16 de octubre, se verificó al día siguiente con el sistema de comprobación de pruebas Lean y se publicó en GitHub junto con su verificación formal, afirma la empresa.
Ryan Williams, del MIT, la revisará junto con los proponentes originales de la ETH, Russell Impagliazzo y Ramamohan Paturi. OpenAI afirma que se necesitará «investigación adicional significativa» para convertir el resultado en algoritmos más rápidos para el mundo real.
La empresa afirma haber logrado otros dos avances:
• Matemáticas: Una demostración de la conjetura de Kakeya en todas las dimensiones, tras la demostración del caso tridimensional el año pasado.
• Física: Una demostración que resuelve parte de un problema del Premio del Milenio de 1 MILLÓN DE DÓLARES. Ese trabajo aún no se ha publicado y un equipo dirigido por el ganador del Premio Nobel David Gross lo investigará.
