OpenAI afirma que su IA refutó la Hipótesis del Tiempo Exponencial, aún sin revisión independiente
Hecho Qué ha ocurrido
OpenAI asegura que uno de sus modelos internos refutó la Hipótesis del Tiempo Exponencial (ETH), una conjetura de la informática teórica, y publicó la demostración en GitHub. La empresa dice que el modelo encontró la prueba el 16 de octubre y que la verificó en Lean al día siguiente. Un grupo independiente liderado por Impagliazzo, Paturi y Williams examinará el trabajo.
Resumen generado mediante IA a partir de Enter.co. Naturaleza de la información: declaración de parte interesada.
Análisis Por qué importa
Si la demostración resiste, obligaría a revisar las cotas de dificultad que cientos de artículos construyen sobre la ETH. Para la empresa, es una señal de que la IA avanza en matemáticas teóricas, aunque el resultado aún no está validado.
- Quién se ve afectado
- Investigadores en teoría de la computación, matemáticas y disciplinas que usan cotas de complejidad como punto de partida.
- Qué puede cambiar
- Si se confirma, varias cotas de dificultad basadas en la ETH deberían reexaminarse. El resultado no equivale a resolver P contra NP, porque el algoritmo es subexponencial y no polinomial.
Análisis generado a partir de la información disponible; no procede de la fuente.
Predicción Qué observar a continuación
El dictamen del grupo independiente, la publicación de los datos en bruto y la conferencia prometida por OpenAI. También si la comunidad acepta la verificación en Lean como prueba suficiente.
Enviar esta noticia por correo
Enviado. Revisa que llegue a la bandeja de entrada de quien lo reciba.
La dirección no parece válida.
Has enviado varios correos seguidos. Espera un rato.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
No se ha podido enviar. Inténtalo de nuevo en unos minutos.
Fuente original: Enter.co. La referencia es siempre el artículo original.
Ver fuente original ↗IA científicamodelos de razonamiento OpenAI 3-SAT complejidad computacional Hipótesis del Tiempo Exponencial Lean OpenAI
Relacionadas
OpenAI y Anthropic afirman que sus modelos refutaron la hipótesis del tiempo exponencial en informática
OpenAI publicó soluciones a tres problemas matemáticos, entre ellos una refutación de la Hipótesis del Tiempo Exponencial (ETH), suposición con gran peso en la…
Por qué importaSi la refutación se confirma, cambia supuestos básicos sobre qué problemas son computacionalmente difíciles, con efectos en criptografía y en…
OpenAI afirma haber resuelto tres problemas abiertos de matemáticas, informática y física y pide verificación externa
OpenAI afirma que sus modelos internos han refutado una hipótesis central de la informática (la Hipótesis del Tiempo Exponencial), demostrado parte de un…
Por qué importaSi las pruebas se sostienen, afectan a cientos de artículos científicos que dependen de la hipótesis refutada y marcan un precedente de IA generando…
OpenAI presenta resultados de sus modelos en la conjetura de Kakeya, la hipótesis ETH y la QCD
OpenAI comparte resultados obtenidos con sus modelos sobre la conjetura de Kakeya, la hipótesis del tiempo exponencial (ETH) y la cromodinámica cuántica (QCD)…
Por qué importaSi los resultados se verifican, la IA podría aportar avances en investigación científica de base, un ámbito donde la validación independiente es…
OpenAI publica 722 demostraciones matemáticas generadas por IA verificadas con Lean
OpenAI subió a GitHub 722 manuscritos de demostraciones matemáticas agrupados en 372 familias de teoremas, todos verificados formalmente con el asistente de…
Por qué importaEs el mayor corpus de demostraciones de investigación generadas por IA y verificadas formalmente, lo que sugiere que estos modelos pueden actuar como…
Tu opinión
Te hemos enviado un correo para confirmar tu dirección. El comentario se procesará cuando pulses el enlace.
Gracias. Tu comentario se publicará cuando lo revise el equipo (los primeros comentarios de cada persona se moderan).
Comentario publicado. Gracias por participar.
No se puede comentar aquí.
Indica un nombre (de 2 a 60 caracteres).
El correo no parece válido.
El comentario debe tener entre 10 y 2.000 caracteres.
Demasiados enlaces en el comentario.
No se ha podido comprobar que no eres un robot. Vuelve a intentarlo.
Has alcanzado el límite diario de comentarios.
Demasiados comentarios seguidos. Espera un rato.
No se ha podido enviar el correo de confirmación. Inténtalo de nuevo en unos minutos.